Nantilus
Symposium on automatic demonstration : held at Versailles-France, December 1968
Enregistré dans:
| Auteur principal : | |
|---|---|
| Collectivités auteurs : | , |
| Autres auteurs : | , , , |
| Format : | Livre |
| Langue : | anglais français |
| Titre complet : | Symposium on automatic demonstration : held at Versailles-France, December 1968 / edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.] |
| Publié : |
Berlin, Heidelberg, New York :
Springer-Verlag
, 1970, cop. 1970 |
| Description matérielle : | 1 vol. (310 p.) + 1 errata |
| Collection : | Lecture notes in mathematics ; 125 |
| Sujets : | |
| Documents associés : | Autre format:
Symposium on automatic demonstration |
| LEADER | 02656cam a2200625 4500 | ||
|---|---|---|---|
| 001 | PPN004671945 | ||
| 003 | http://www.sudoc.fr/004671945 | ||
| 005 | 20240531154900.0 | ||
| 010 | |a 0-387-04914-2 | ||
| 010 | |a 3-540-04914-2 | ||
| 020 | |a US |b 79117526 //r85 | ||
| 035 | |a 014317591 |9 sudoc | ||
| 035 | |a (OCoLC)489617401 | ||
| 035 | |a sib0007084 | ||
| 035 | |a ocm00114071 | ||
| 100 | |a 19990302h19701970k y0frey0103 ba | ||
| 101 | 0 | |a eng |a fre | |
| 102 | |a DE |a US | ||
| 105 | |a y a 100yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 rdacarrier | |
| 200 | 1 | |a Symposium on automatic demonstration |e held at Versailles-France, December 1968 |f edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.] | |
| 210 | |a Berlin |a Heidelberg |a New York |c Springer-Verlag |d 1970, cop. 1970 | ||
| 215 | |a 1 vol. (310 p.) |d 26 cm |e 1 errata | ||
| 225 | 2 | |a Lecture notes in mathematics |v 125 | |
| 302 | |a Textes en français ou en anglais | ||
| 314 | |a Colloque international sur la démonstration automatique, organisé par l'Institut de recherche d'informatique et d'automatique. Autre contribution : M. Schützenberger (éditeur) | ||
| 320 | |a Notes bibliogr. | ||
| 410 | | | |0 03292996X |t Lecture notes in mathematics |x 0075-8434 |v 125 | |
| 452 | | | |0 155182757 |t Symposium on automatic demonstration |o held at Versailles-France, December 1968 |f edited by M. Laudet,... D. Lacombe, L. Nolin... [et al.] |c Berlin [etc.] |n Springer |d 201X |s Lecture notes in mathematics |y 978-3-540-36262-3 | |
| 606 | |3 PPN027819213 |a Théorèmes |x Démonstration automatique |2 rameau | ||
| 606 | |3 PPN031498957 |a Mathématiques |x Informatique |2 rameau | ||
| 606 | |3 PPN027315312 |a Commande automatique |2 rameau | ||
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 676 | |a 003 | ||
| 680 | |a QA3 |b .L28 no. 125 | ||
| 686 | |a 68.00 |c 2010 |2 msc | ||
| 686 | |a 02.00 |c 2010 |2 msc | ||
| 702 | 1 | |3 PPN074609963 |a Laudet |b Michel |f 1900-2003 |4 340 | |
| 702 | 1 | |3 PPN075215985 |a Lacombe |b Daniel |f 19..-2016 |c mathématicien |4 340 | |
| 702 | 1 | |3 PPN028908481 |a Nolin |b Louis |f ....-1997 |4 340 | |
| 702 | 1 | |3 PPN027128776 |a Schützenberger |b Marcel Paul |f 1920-1996 |4 340 | |
| 710 | 1 | 2 | |3 PPN16977225X |a Symposium on automatic demonstration |f 1968 |e Versailles |4 070 |
| 712 | 0 | 2 | |3 PPN026386739 |a Institut de recherche d'informatique et d'automatique |c France |4 557 |
| 801 | 3 | |a FR |b Abes |c 20200319 |g AFNOR |h 014317591 | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 930 | |5 441092208:693161833 |b 441092208 |j u | ||
| 979 | |a CCFA | ||
| 998 | |a 892245 | ||