Automation of reasoning, 2 (notice n° 2700)
[ vue normale ]
| 010 ## - ISBN | |
|---|---|
| ISBN | 0387120440 |
| 010 ## - ISBN | |
| ISBN | 3540120440 |
| 099 ## - Informations locales | |
| Type de document | Non communiqué |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20170516 frey50 |
| 101 ## - Langue | |
| langue du document | anglais |
| 200 0# - Titre | |
| titre propre | Automation of reasoning, 2 |
| complément du titre | classical papers on computational logic, 1967-1970 |
| Auteur | edited by Jörg Siekmann and Graham Wrightson |
| 210 ## - Editeur | |
| lieu de publication | Berlin |
| nom de l'éditeur | Springer |
| date de publication | 1983 |
| 215 ## - Description | |
| Importance matérielle | xii, 637 p. |
| format | 25 cm |
| 225 0# - collection | |
| titre de la collection | Symbolic computation |
| titre de partie | Artificial intelligence |
| numérotation du volume | |
| 606 ## - sujets | |
| sujet | Théorie de l'information, codage, linguistique, automates, concurrence, systèmes de transition, vérification |
| 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 | 2621 | 77.9 SIE 83 t2 | Empruntable |