> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Handbook of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay 5, Logic programming Erschienen: Oxford: Clarendon Press, 1998 Erschienen in: Handbook of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay ... ; 5 Umfang: XV, 799 S.; graph. Darst Sprache: Englisch ISBN: 0198537921 RVK-Notation: ST 300 : Allgemeines SS 1000 : Enzyklopädien und Handbücher (A-Z) ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Entstehung: Anmerkungen: