Die Logik der Wissensbasen - The Logic of Knowledge Bases
Die Idee einer Wissensbasis ist das Herzstück der symbolischen oder "guten altmodischen" künstlichen...
Untersuchungen zum Prädikatenkalkül - Investigations into the Predicate Calculus
Oiva Ketonen (1913-2000) war der engste Schüler, den der Schöpfer der...
Bühnen des Theaters: Die Dramatikkritik von Stanley Kauffmann, 1951-2006 - Stages of Theater: The...
Bühnen des Theaters: The Dramatic Criticism of...
Dualitäten für Strukturen der angewandten Logik - Dualities for Structures of Applied...
Dieses Buch bietet einen Rahmen für die Darstellung von...
Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing
Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa...
Handbuch der formalen Argumentation - Handbook of Formal Argumentation
Das Handbook of Formal Argumentation ist ein Gemeinschaftsprojekt, das einen...
PROLOG jetzt lernen! - Learn PROLOG Now!
Prolog ist eine Programmiersprache, allerdings eine recht ungewöhnliche. Prolog'' ist die Abkürzung für Programming with Logic'',...
Trumponomics: Ursachen und Folgen - Trumponomics: Causes and Consequences
"Die Eroberung der US-Präsidentschaft durch Donald Trump hat das politische...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
