Prezentarea autorului M. Augusto Luis:

Cărțile publicate de M. Augusto Luis până acum:

Many-Valued Logics: A Mathematical and Computational Introduction. Ediția a doua - Many-Valued...
Kings College Pubn
Logicile cu multe valori sunt acele logici care au...
Many-Valued Logics: A Mathematical and Computational Introduction. Ediția a doua - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Limbaje, mașini și computație clasică - Languages, Machines, and Classical Computation
Kings College Pubn
Limbaje, mașini și calcul clasic este o nouă carte de...
Limbaje, mașini și computație clasică - Languages, Machines, and Classical Computation
Logică computațională: Volume 1: Classical Deductive Computing with Classical Logic. Ediția a doua -...
Kings College Pubn
Deși o serie de aplicații tehnologice recente...
Logică computațională: Volume 1: Classical Deductive Computing with Classical Logic. Ediția a doua - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Consecințe logice: Teorie și aplicații: O introducere. Ediția a doua - Logical Consequences: Theory...
Kings College Pubn
Teoria consecințelor logice este esențială în...
Consecințe logice: Teorie și aplicații: O introducere. Ediția a doua - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Logică formală: Probleme clasice și demonstrații - Formal Logic: Classical Problems and...
Kings College Pubn
Logica este - fără îndoială - despre demonstrații,...
Logică formală: Probleme clasice și demonstrații - Formal Logic: Classical Problems and Proofs
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)