Logic Programming Andrei Voronkov
53,49 €
Titel: Logic Programming, Untertitel: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 532, Maße: 235x155x29 mm, Gewicht: 797 g, Verkäufer: buch-mimpf, Schlagworte: Automat Deductive Databases Deduktive Datenbanken Logic Programming Nichtklassische Logik (EDV) Non-classiccal Logics Programmierung (EDV) Prolog Prolog-Programming Theorembeweisen (Kybern.) automated reasoning automated theorem proving logic mathematical logic theorem proving.
Jetzt bei Ebay:
