Automated deduction in multiple-valued logics
Enregistré dans:
Auteur principal : | |
---|---|
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 |