Treffer: Logic programming and automated reasoning
Titel:
Logic programming and automated reasoning : 4th international conference ; proceedings / LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.)
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1993
Umfang:
XIII, 386 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 698 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540569448 ; 0387569448