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 :
LEADER 01450cam a22003972 4500
001 PPN017656028
005 20181031133400.0
009 DYNIX_BUNAN_492101
010 |a 0-19-853989-4  |b Hbk.  |d $45.00 (£30.00) 
020 |a GB  |b 94-5173 
020 |a US  |b 9333539 
035 |a ocm28966570 
100 |a 19930921d1993 u u fre 0103 
101 0 |a eng 
102 |a GB  |b en 
105 |a y a 001|y 
200 1 |a Automated deduction in multiple-valued logics  |f Reiner Hähnle 
210 |a Oxford  |c Clarendon Press  |a New York  |c Oxford University Press  |d 1993 
215 |a ix, 172 p.  |c ill.  |d 24 cm 
225 2 |a International series of monographs on computer science  |v 10 
320 |a Includes bibliographical references and index. 
410 |t International series of monographs on computer science  |v 10 
606 1 |3 PPN027819213  |a Théorèmes  |x Démonstration automatique  |2 rameau 
606 1 |3 PPN027662799  |a Logique mathématique  |2 rameau 
610 1 |a Logic, Symbolic and mathematical  |2 lc 
610 1 |a Automatic theorem proving  |2 lc 
676 |a 511.3  |v 20 
680 |a QA76.9.A96  |b H34 1993 
700 1 |3 PPN03354218X  |a Hähnle  |b Reiner 
801 2 |a FR  |b AUROC  |c 19990516  |g AFNOR 
801 1 |a US  |b OCLC  |c 19990516  |g AACR2 
801 3 |a FR  |b Abes  |c 19990516  |g AFNOR 
930 |5 441092203:152548068  |b 441092203  |a I275  |j u 
979 |a PHILO 
993 |a 0210076166  |b TEC  |c I275  |d EM  |e TECH  |f I  |g 30-05-2002  |h 30-05-2002  |s 007616  |t EM  |u TECH  |v i 
998 |a 62522