Treffer: Logic for programming and automated reasoning
Titel:
Logic for programming and automated reasoning : 7th international conference ; proceedings / LPAR 2000, Reunion Island, France, November 6 - 10, 2000. Michel Parigot ; Andrei Voronkov (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
XIII, 486 Seiten : Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1955 : Lecture notes in artificial intelligence
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
Schlagworte:
ISBN:
3540412859