Kings College Pubn

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

Die Logik der Wissensbasen - The Logic of Knowledge Bases
Die Idee einer Wissensbasis ist das Herzstück der symbolischen oder "guten altmodischen" künstlichen...
Die Logik der Wissensbasen - The Logic of Knowledge Bases
Untersuchungen zum Prädikatenkalkül - Investigations into the Predicate Calculus
Oiva Ketonen (1913-2000) war der engste Schüler, den der Schöpfer der...
Untersuchungen zum Prädikatenkalkül - Investigations into the Predicate Calculus
Bühnen des Theaters: Die Dramatikkritik von Stanley Kauffmann, 1951-2006 - Stages of Theater: The...
Bühnen des Theaters: The Dramatic Criticism of...
Bühnen des Theaters: Die Dramatikkritik von Stanley Kauffmann, 1951-2006 - Stages of Theater: The Dramatic Criticism of Stanley Kauffmann, 1951-2006
Dualitäten für Strukturen der angewandten Logik - Dualities for Structures of Applied...
Dieses Buch bietet einen Rahmen für die Darstellung von...
Dualitäten für Strukturen der angewandten Logik - Dualities for Structures of Applied Logics
Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing
Der vorliegende Band geht auf einen Buchvorschlag zurück, der vor etwa...
Zeitgenössische Logik und Datenverarbeitung - Contemporary Logic and Computing
Handbuch der formalen Argumentation - Handbook of Formal Argumentation
Das Handbook of Formal Argumentation ist ein Gemeinschaftsprojekt, das einen...
Handbuch der formalen Argumentation - Handbook of Formal Argumentation
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'',...
PROLOG jetzt lernen! - Learn PROLOG Now!
Trumponomics: Ursachen und Folgen - Trumponomics: Causes and Consequences
"Die Eroberung der US-Präsidentschaft durch Donald Trump hat das politische...
Trumponomics: Ursachen und Folgen - Trumponomics: Causes and Consequences
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80...
Im Jahr 1922 begann Curry mit der Lektüre der...
Ein Jahrhundert seit Principia's Substitution Haskell Curry verblüffte. Zu Ehren des 80. Geburtstages von Jonathan Seldin - A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
7
···

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)