> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Reasoning with Logic Programming Beteiligte: Alferes, José Júlio [VerfasserIn]; Pereira, Luís Moniz [Sonstige Person, Familie und Körperschaft] Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1996 Erschienen in: Lecture notes in computer science ; 1111 Bücher Umfang: Online-Ressource Sprache: Englisch DOI: 10.1007/3-540-61488-5 ISBN: 9783540686743 Identifikator: RVK-Notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge ST 302 : Expertensysteme; Wissensbasierte Systeme ST 285 : Computer supported cooperative work (CSCW), Groupware SS 4800 : Lecture notes in computer science Schlagwörter: Logische Programmierung > Wissensrepräsentation Logische Programmierung > Nichtmonotones Schließen Entstehung: Anmerkungen: