Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics

Saved in:
Bibliographic Details
Main Author : Hähnle Reiner
Format : Book
Language : anglais
Title statement : Automated deduction in multiple-valued logics / Reiner Hähnle
Published : Oxford, New York : Clarendon Press , 1993
Oxford University Press
Physical Description : ix, 172 p.
Series : International series of monographs on computer science ; 10
Subjects :
Théorèmes > Démonstration automatique
Logique mathématique
Logic, Symbolic and mathematical
Automatic theorem proving

BU Censive

Holdings details from BU Censive
Location Call Number Loan type Status
Bât. Censive, 1er étage, salle 111 H 14378 Prêt sur place Disponible