M. Augusto Luis szerző bemutatása:

M. Augusto Luis szerző eddig megjelent könyvei:

Sokértékű logikák: Matematikai és számítási bevezetés. Második kiadás - Many-Valued Logics: A...
Kings College Pubn
A sokértékű logikák azok a logikák, amelyeknek a...
Sokértékű logikák: Matematikai és számítási bevezetés. Második kiadás - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Nyelvek, gépek és klasszikus számítások - Languages, Machines, and Classical Computation
Kings College Pubn
Languages, machines, and classical computation egy új...
Nyelvek, gépek és klasszikus számítások - Languages, Machines, and Classical Computation
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Második kiadás -...
Kings College Pubn
Bár számos új technológiai alkalmazás megköveteli...
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Második kiadás - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logikai következmények: Theory and Applications: Bevezetés. 2. kiadás - Logical Consequences: Theory...
Kings College Pubn
A logikai következmény elmélete központi szerepet...
Logikai következmények: Theory and Applications: Bevezetés. 2. kiadás - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formal Logic: Klasszikus problémák és bizonyítások - Formal Logic: Classical Problems and...
Kings College Pubn
A logika - vitathatatlanul - a bizonyításról szól,...
Formal Logic: Klasszikus problémák és bizonyítások - Formal Logic: Classical Problems and Proofs
<<
1
>>