| Titre : | Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 | | Type de document : | texte imprimé | | Auteurs : | Goos, G. Ed. ; Winter, D. Eds ; Storer, T. ; Hartmanis, J. Ed. | | Editeur : | Springer-Verlag | | Année de publication : | 1975 | | Collection : | Lecture Notes in Computer Science num. 22 | | Importance : | 214 p. | | ISBN/ISSN/EAN : | 978-3-540-07016-0 | | Catégories : | 68-XX Computer science :68QXX Theory of computing:68Q05 Models of computation (Turing machines, etc.)
68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)
| | Mots-clés : | ann arbor, mi (usa) proceedings conference computer science | | Index. décimale : | 68B Publication collective |
|
Affiner la rechercheFormal aspects of cognitive processes / Goos, G. Ed.
