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:...

Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80...

Im Jahr 1922 begann Curry mit der Lektüre der...

Kings College Pubn

Bisher veröffentlichte Bücher des Verlags Kings College Pubn: