A Lambda-kalkulus műhold - A Lambda Calculus Satellite

1936-ban az intuitív kiszámíthatóság fogalmát két különböző módon operacionalizálták: a Turing-gépeken és...

A tudásbázisok logikája - The Logic of Knowledge Bases

A szimbolikus vagy "jó öreg" mesterséges intelligencia (GOFAI) középpontjában a tudásbázis gondolata áll...

Vizsgálatok a predikátumszámításról - Investigations into the Predicate Calculus

Oiva Ketonen (1913--2000) volt a modern bizonyításelmélet...

A színház színpadai: Stanley Kauffmann drámakritikája, 1951-2006 - Stages of Theater: The Dramatic...

A színház szakaszai: Stanley Kauffmann...

Kettősségek az alkalmazott logika struktúráihoz - Dualities for Structures of Applied...

Ez a könyv keretet biztosít a formális nyelvek szemantikai...

Kortárs logika és számítástechnika - Contemporary Logic and Computing

A jelen kötet egy körülbelül két évvel ezelőtt a londoni College Publicationsnek tett...

A formális érvelés kézikönyve - Handbook of Formal Argumentation

A Handbook of Formal Argumentation (A formális érvelés kézikönyve) egy közösségi erőfeszítés,...

Tanuljon PROLOG-ot most! - Learn PROLOG Now!

A Prolog egy programozási nyelv, de meglehetősen szokatlan. A "Prolog" a "Programming with Logic" rövidítése, és a logikával...

Trumponomics: Causes and Consequences

"Donald Trump amerikai elnöki székének elfoglalása sokkolta a politikai intézményeket. Ez a könyv vezető balközép és baloldali...

A Lambda-számítás műholdja - A Lambda Calculus Satellite

1936-ban az intuitív kiszámíthatóság fogalmát két különböző módon operacionalizálták: a Turing-gépeken...

Kings College Pubn

Kings College Pubn kiadó eddig megjelent könyvei: