Automated deduction in multiple-valued logics

Enregistré dans:
Détails bibliographiques
Auteur principal : Hähnle Reiner
Format : Livre
Langue : anglais
Titre complet : Automated deduction in multiple-valued logics / Reiner Hähnle
Publié : Oxford, New York : Clarendon Press , 1993
Oxford University Press
Description matérielle : ix, 172 p.
Collection : International series of monographs on computer science ; 10
Sujets :

Bib. Philosophie - Lettres anciennes

Informations d'exemplaires de Bib. Philosophie - Lettres anciennes
Cote Prêt Statut
bât. Censive salle 111 H 14378 Prêt sur place Disponible