> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Declarative logic programming : theory, systems, and applications Beteiligte: Kifer, Michael [VerfasserIn]; Liu, Yanhong Annie [VerfasserIn] Erschienen: [San Rafael]: ACM ; M&C, [2018] Erschienen in: Association for Computing Machinery: ACM books ; 20 Ausgabe: First Edition Umfang: xx, 595 Seiten; Illustrationen, Diagramme Sprache: Englisch ISBN: 9781970001969; 9781970001990 Entstehung: RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Anmerkungen: Weitere Bestandsnachweise 0 : ACM books