Nantilus
Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 proceedings
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 : proceedings / Didier Galmiche (ed.) |
| Publié : |
Berlin, New York :
Springer
, 1997 |
| Description matérielle : | 1 vol. (XII-372 p.) |
| Collection : | Lecture notes in computer science ; 1227 Lecture notes in computer science |
| Sujets : |
| LEADER | 01823cam a2200457 4500 | ||
|---|---|---|---|
| 001 | PPN029424682 | ||
| 003 | http://www.sudoc.fr/029424682 | ||
| 005 | 20190627110000.0 | ||
| 010 | |a 3-540-62920-3 |b br. | ||
| 020 | |a US |b 9711975 | ||
| 035 | |a (OCoLC)496091243 | ||
| 035 | |a ocm36746381 | ||
| 100 | |a 19970409d1997 k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a DE | ||
| 105 | |a y a 101yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Automated reasoning with analytic tableaux and related methods |b Texte imprimé |e International Conference, TABLEAUX ʹ97, Pont-à-Mousson, France, May 1997 |e proceedings |f Didier Galmiche (ed.) | |
| 210 | |a Berlin |a New York |c Springer |d 1997 | ||
| 215 | |a 1 vol. (XII-372 p.) |c 24 cm | ||
| 225 | 0 | |a Lecture notes in computer science |v 1227 |i Lecture notes in artificial intelligence | |
| 320 | |a Notes bibliogr. | ||
| 410 | | | |0 001610368 |t Lecture notes in computer science |x 0302-9743 |v 1227 | |
| 410 | | | |0 001610368 |t Lecture notes in computer science |x 0302-9743 | |
| 606 | |3 PPN027242196 |a Raisonnement |3 PPN02886431X |x Actes de congrès |2 rameau | ||
| 606 | |3 PPN027819213 |a Théorèmes |x Démonstration automatique |3 PPN02886431X |x Actes de congrès |2 rameau | ||
| 606 | |3 PPN02787656X |a Parallélisme (informatique) |3 PPN02886431X |x Actes de congrès |2 rameau | ||
| 676 | |a 006.3/33 |v 21 | ||
| 680 | |a QA76.9.A96 |b T33 1997 | ||
| 686 | |a F.4.1 |2 acm | ||
| 686 | |a I.2.3 |2 acm | ||
| 702 | 1 | |3 PPN082733643 |a Galmiche |b Didier |4 340 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20171020 |g AFNOR | |
| 915 | |5 441092208:639625444 |b 12964 | ||
| 930 | |5 441092208:639625444 |b 441092208 |a IRIN/03C63 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639625444 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 12964 |d CMB |e BAP |s d |c IRIN/03C63 | ||
| 998 | |a 845767 | ||