Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sanchez-Mazas, Miguel, Simplification de l'Arithmétisation Leibnitienne de la Syllogistique par l'Expression Arithmétique de la Notion Intensionnelle du «Non Ens» (1978)
Sanchez-Mazas, Miguel, La Caractéristique numérique de Leibniz comme méthode de décision (1980)
Sanchez-Mazas, Miguel, Arithmetization of the Graphs of Binary Relations and Logical and Computer Applications (1981)
Sanchez-Mazas, Miguel, Traduction Arithmétique des Graphes et des Relations Binaires et Applications Logiques et Informatiques (1981)
Sánchez-Mazas, Miguel, Fundamentos Matematicos de la Logica Formal (1963)
Sánchez-Mazas, Miguel, Cálculo de las Normas (1973)
Sánchez-Mazas, Miguel, Modelli Aritmetici per l'Informatica Giuridica (1978)
Sánchez-Mazas, Miguel, Traduction algébrique et arithmétique des systèmes de normes et applications à l'informatique juridique (1981)
Sanchis, Luis E., Hyperenumeration Reducibility (1974)
Sanchis, Luis E., Two Models for Combinatory Logic (Correction)