Presentazione dell'autore M. Augusto Luis:

Libri pubblicati finora da M. Augusto Luis:

Logiche a molte valenze: introduzione matematica e computazionale. Seconda edizione - Many-Valued...
Kings College Pubn
Le logiche a molti valori sono quelle logiche che...
Logiche a molte valenze: introduzione matematica e computazionale. Seconda edizione - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Lingue, macchine e calcolo classico - Languages, Machines, and Classical Computation
Kings College Pubn
Linguaggi, macchine e calcolo classico" è un nuovo libro di...
Lingue, macchine e calcolo classico - Languages, Machines, and Classical Computation
Logica computazionale: Volume 1: Calcolo deduttivo classico con logica classica. Seconda edizione -...
Kings College Pubn
Sebbene numerose applicazioni tecnologiche recenti...
Logica computazionale: Volume 1: Calcolo deduttivo classico con logica classica. Seconda edizione - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Conseguenze logiche: Teoria e applicazioni: Introduzione. 2a edizione - Logical Consequences: Theory...
Kings College Pubn
La teoria delle conseguenze logiche è centrale...
Conseguenze logiche: Teoria e applicazioni: Introduzione. 2a edizione - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Logica formale: Problemi e prove classiche - Formal Logic: Classical Problems and Proofs
Kings College Pubn
La logica è - indiscutibilmente - tutta una questione...
Logica formale: Problemi e prove classiche - Formal Logic: Classical Problems and Proofs
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)