Kings College Pubn

Kings College Pubn kiadó eddig megjelent könyvei:

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 Lambda-kalkulus műhold - A Lambda Calculus Satellite
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...
A tudásbázisok logikája - The Logic of Knowledge Bases
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...
Vizsgálatok a predikátumszámításról - Investigations into the Predicate Calculus
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...
A színház színpadai: Stanley Kauffmann drámakritikája, 1951-2006 - Stages of Theater: The Dramatic Criticism of Stanley Kauffmann, 1951-2006
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...
Kettősségek az alkalmazott logika struktúráihoz - Dualities for Structures of Applied Logics
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...
Kortárs logika és számítástechnika - Contemporary Logic and Computing
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,...
A formális érvelés kézikönyve - Handbook of Formal Argumentation
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...
Tanuljon PROLOG-ot most! - Learn PROLOG Now!
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...
Trumponomics: Causes and Consequences
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...
A Lambda-számítás műholdja - A Lambda Calculus Satellite
7
···

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)