Satelita rachunku lambda - A Lambda Calculus Satellite

W 1936 roku pojęcie intuicyjnej obliczalności zostało zoperacjonalizowane na dwa różne sposoby: za pomocą...

Logika baz wiedzy - The Logic of Knowledge Bases

Idea bazy wiedzy leży u podstaw symbolicznej lub "starej dobrej" sztucznej inteligencji (GOFAI). System oparty na...

Badanie rachunku predykatów - Investigations into the Predicate Calculus

Oiva Ketonen (1913-2000) był najbliższym uczniem twórcy nowoczesnej teorii dowodu...

Etapy teatru: Krytyka dramatyczna Stanleya Kauffmanna, 1951-2006 - Stages of Theater: The Dramatic...

Stages of Theater: The Dramatic Criticism of...

Dualności dla struktur logiki stosowanej - Dualities for Structures of Applied Logics

Niniejsza książka dostarcza ram do prezentacji algebr i ram...

Współczesna logika i informatyka - Contemporary Logic and Computing

Niniejszy tom powstał w wyniku propozycji książkowej złożonej około dwa lata temu...

Podręcznik formalnej argumentacji - Handbook of Formal Argumentation

The Handbook of Formal Argumentation to wspólny wysiłek mający na celu zapewnienie...

Naucz się PROLOG teraz! - Learn PROLOG Now!

Prolog jest językiem programowania, ale dość nietypowym. Prolog'' to skrót od Programming with Logic'', a powiązanie z logiką...

Trumponomika: Przyczyny i konsekwencje - Trumponomics: Causes and Consequences

"Zdobycie prezydentury w USA przez Donalda Trumpa wstrząsnęło...

Satelita rachunku lambda - A Lambda Calculus Satellite

W 1936 roku pojęcie intuicyjnej obliczalności zostało zoperacjonalizowane na dwa różne sposoby: za pomocą...

Kings College Pubn

Dotychczas wydane książki wydawnictwa Kings College Pubn: