Un satelit Lambda Calculus - A Lambda Calculus Satellite
În 1936, noțiunea de calculabilitate intuitivă a fost operaționalizată în două moduri diferite: prin...
Logica bazelor de cunoștințe - The Logic of Knowledge Bases
Ideea de bază de cunoștințe stă la baza inteligenței artificiale simbolice sau "de modă veche"...
Investigații în calculul predicatelor - Investigations into the Predicate Calculus
Oiva Ketonen (1913--2000) a fost cel mai apropiat student pe care...
Etapele teatrului: Critica dramatică a lui Stanley Kauffmann, 1951-2006 - Stages of Theater: The...
Etapele teatrului: The Dramatic Criticism of...
Dualități pentru structuri de logică aplicată - Dualities for Structures of Applied Logics
Această carte oferă un cadru pentru prezentarea...
Logică și calcul contemporan - Contemporary Logic and Computing
Volumul de față provine dintr-o propunere de carte făcută în urmă cu aproximativ doi ani către...
Manual de argumentare formală - Handbook of Formal Argumentation
Manualul de argumentare formală este un efort comunitar menit să ofere o viziune...
Învață PROLOG acum! - Learn PROLOG Now!
Prolog este un limbaj de programare, dar unul destul de neobișnuit. Prolog'' este prescurtarea de la Programming with Logic'', iar...
Trumponomics: Cauze și consecințe - Trumponomics: Causes and Consequences
"Preluarea președinției SUA de către Donald Trump a șocat establishmentul...
