Automation of reasoning (notice n° 2699)
[ vue normale ]
| 010 ## - ISBN | |
|---|---|
| ISBN | 3540120432 |
| 010 ## - ISBN | |
| ISBN | 0387120432 |
| 099 ## - Informations locales | |
| Type de document | Monographie |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20170516 frey50 |
| 101 ## - Langue | |
| langue du document | anglais |
| 200 1# - Titre | |
| titre propre | Automation of reasoning |
| titre de partie | classical papers on computational logic, 1957-1966 |
| Auteur | edited by Jörg Siekmann and Graham Wrightson. |
| 210 ## - Editeur | |
| lieu de publication | Berlin |
| -- | Heidelberg |
| -- | New York |
| nom de l'éditeur | Springer |
| date de publication | 1983. |
| 215 ## - Description | |
| Importance matérielle | XII- 525 p. |
| format | 25 cm. |
| 225 0# - collection | |
| titre de la collection | Symbolic computation. Artificial intelligence. |
| numérotation du volume | 1 |
| 606 ## - sujets | |
| sujet | Théorie de l'information, codage, linguistique, automates, concurrence, systèmes de transition, vérification |
| 700 #1 - Auteur | |
| auteur | Wrightson |
| partie du nom autre que l'élément d'entrée | Graham. |
| code de fonction | Auteur |
| Abîmé | Perdu ? | Retiré de la circulation | Date de création | Site Propriétaire | Site Dépositaire | Code barre | cote | Statut |
|---|---|---|---|---|---|---|---|---|
| 16/05/2017 | IREM P7 | IREM P7 | 2620 | 77.9 SIE 83 t1 | Empruntable |