> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings Beteiligte: Vardi, Moshe Y. [Hrsg.] Veranstaltung: LPAR Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2850 Umfang: XIII, 436 S; graph. Darst Sprache: Englisch ISBN: 3540201017 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Logische Programmierung Automatisches Beweisverfahren Programmierlogik Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 6154 Barcode: 30812481 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung