Présentation de l'auteur M. Augusto Luis :

Livres publiés jusqu'à présent par M. Augusto Luis :

Logiques multivaluées : une introduction mathématique et informatique. Deuxième édition -...
Kings College Pubn
Les logiques à plusieurs valeurs sont celles qui...
Logiques multivaluées : une introduction mathématique et informatique. Deuxième édition - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Langages, machines et calcul classique - Languages, Machines, and Classical Computation
Kings College Pubn
Languages, machines, and classical computation est un...
Langages, machines et calcul classique - Languages, Machines, and Classical Computation
Logique computationnelle : Volume 1 : Classical Deductive Computing with Classical Logic. Deuxième...
Kings College Pubn
Bien qu'un certain nombre d'applications...
Logique computationnelle : Volume 1 : Classical Deductive Computing with Classical Logic. Deuxième édition - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Conséquences logiques : Théorie et applications : An Introduction. 2e édition - Logical...
Kings College Pubn
La théorie des conséquences logiques est au cœur de...
Conséquences logiques : Théorie et applications : An Introduction. 2e édition - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Logique formelle : Problèmes et preuves classiques - Formal Logic: Classical Problems and...
Kings College Pubn
La logique consiste - sans aucun doute - à...
Logique formelle : Problèmes et preuves classiques - Formal Logic: Classical Problems and Proofs
<<
1
>>