Suchergebnisse - "Computer systemsProgrammingApplications of mathematical logic"

  1. 1
    Buchumschlag

    A method of programming / Edsger W. Dijkstra, W.H.J. Feijen ; translated by Joke Sterringa.

    Veröffentlicht ©1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Mathematical logic in computer science / edited by B. Dömölki and T. Gergely.

    Veröffentlicht 1981
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Constraint satisfaction in logic programming / Pascal Van Hentenryck.

    Veröffentlicht ©1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Natural language understanding and logic programming, II : proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Cana...

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Algorithmic logic / G. Mirkowska and A. Salwicki.

    Veröffentlicht ©1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Introduction to logic programming / Christopher John Hogger.

    Veröffentlicht 1984
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Temporal logics and their applications / edited by Antony Galton.

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    Proofs and types / Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards.

    Veröffentlicht ©1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-2...

    Veröffentlicht 1985
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Computability theory, semantics, and logic programming / Melvin Fitting.

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Mar cántico. [Con dibujos originales de la artista Marta Belmes.

    Veröffentlicht 1970
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    Bibliographie des œuvres de Zénaïde Hippius = Zinaida Gippius, bibliografii︠a︡ / établie par Any Barda ; [publié par le Laboratoire de slavistique de Paris I].

    Veröffentlicht 1975
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    Puspitasari, prawan Bali; gambar S. Har.

    Veröffentlicht 1964
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    Disclaiming any right, title, or interest of the United States...

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    Contrapunto modal : manual prático / Any Raquel Carvalho.

    Veröffentlicht 2000
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    Meet the Nelsons! : the ANY years : issues 10-27, 1994-2001 / Wes Jones ; with bonus texts by Cynthia Davidson and Mohamed Sharif!.

    Veröffentlicht ©2009
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    Die Indefinitpronomina some und any im authentischen englischen Sprachgebrauch und in Lehrwerken : eine empirische Untersuchung / Felicitas Tesch.

    Veröffentlicht ©1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    Boris Eikhenbaum : voices of a Russian formalist / Carol Any.

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    The wizard of Wall Street; the story of Gerald M. Loeb, by Ralph G. Martin.

    Veröffentlicht 1965
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: