Logic for programming, artificial intelligence, and reasoning 15th international conference, LPAR 2008, Doha, Qatar, November 22 - 27, 2008 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2008
Schriftenreihe:	Lecture notes in computer science 5330 : Lecture notes in artificial intelligence
Schlagworte:	Automatisches Beweisverfahren - Kongress - Dohar <2008> Inferenz <Künstliche Intelligenz> - Kongress - Dohar <2008> Logische Programmierung - Kongress - Dohar <2008> Programmierlogik - Kongress - Dohar <2008> Terminologische Logik - Kongress - Dohar <2008> Künstliche Intelligenz Artificial intelligence > Congresses Automatic theorem proving > Congresses Logic programming > Congresses Terminologische Logik Programmierlogik Logische Programmierung Automatisches Beweisverfahren Inferenz > Künstliche Intelligenz Konferenzschrift > 2008 > Dohar
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge