Logic for programming, artificial intelligence, and reasoning 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14 - 18, 2002 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan u.a. Springer 2002
Schriftenreihe:	Lecture notes in computer science 2514
Schlagworte:	Intelligence artificielle - Congrès Programmation logique - Congrès Théorèmes - Démonstration automatique - Congrès Künstliche Intelligenz Logic programming > Congresses Artificial intelligence > Congresses Automatic theorem proving > Congresses Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift > 2002 > Tiflis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge