Nantilus
Logical foundations of proof complexity
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Logical foundations of proof complexity / Stephen Cook,... Phuong Nguyen,... |
| Publié : |
New York, Ithaca, NY :
Cambridge University Press
, cop. 2010 Association for Symbolic Logic |
| Description matérielle : | 1 vol. (XV-479 p.) |
| Collection : | Perspectives in logic Association for symbolic logic, editorial responsability |
| Sujets : |
| LEADER | 02015cam a2200505 4500 | ||
|---|---|---|---|
| 001 | PPN14549103X | ||
| 003 | http://www.sudoc.fr/14549103X | ||
| 005 | 20190627114300.0 | ||
| 010 | |a 978-0-521-51729-4 |b rel. | ||
| 010 | |a 0-521-51729-X |b rel. | ||
| 020 | |a US |b 2009051396 | ||
| 035 | |a (OCoLC)690871213 | ||
| 073 | 1 | |a 9780521517294 | |
| 100 | |a 20100701d2010 k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a US | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Logical foundations of proof complexity |b Texte imprimé |f Stephen Cook,... Phuong Nguyen,... | |
| 210 | |a New York |c Cambridge University Press |a Ithaca, NY |c Association for Symbolic Logic |d cop. 2010 | ||
| 215 | |a 1 vol. (XV-479 p.) |c fig. |d 25 cm | ||
| 225 | 2 | |a Perspectives in logic | |
| 320 | |a Bibliogr. p. 457-464. Index. | ||
| 410 | | | |0 15212618X |t Perspectives in logic |b Texte imprimé |f Association for symbolic logic, editorial responsability |c New York |n Association for symbolic logic |n Cambridge university press |d 2001- | |
| 606 | |3 PPN027551261 |a Complexité de calcul (informatique) |2 rameau | ||
| 606 | |3 PPN03145836X |a Théorie de la démonstration |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027551261 |a Complexité de calcul (informatique) |2 rameau | ||
| 606 | |3 PPN03145836X |a Théorie de la démonstration |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 676 | |a 511.3/6 |v 22 | ||
| 680 | |a QA267.7 |b .C695 2010 | ||
| 686 | |a 03-02 |c 2000 |2 msc | ||
| 686 | |a 03F07 |c 2000 |2 msc | ||
| 700 | 1 | |3 PPN152120300 |a Cook |b Stephen Arthur |f 1939-.... |4 070 | |
| 701 | 1 | |3 PPN145491498 |a Nguyen |b Phuong |f 1977-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20111018 |g AFNOR | |
| 801 | 0 | |b DLC |g AACR2 | |
| 801 | 2 | |b YDX |g AACR2 | |
| 915 | |5 441092208:639618073 |b 19319 | ||
| 930 | |5 441092208:639618073 |b 441092208 |a 03C176 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639618073 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 19319 |d CMB |e BAP |s d |c 03C176 | ||
| 998 | |a 849519 | ||