Formal aspects of cognitive processes / Goos, G. Ed.

Public ISBD 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 ; T. Storer ; 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 Formal aspects of cognitive processes : interdisciplinary conference Ann Arbor, MI, march 1972 [texte imprimé] / Goos, G. Ed. ; Winter, D. Eds ; T. Storer ; Hartmanis, J. Ed. . - [S.l.] : Springer-Verlag, 1975 . - 214 p.. - (Lecture Notes in Computer Science; 22) . ISBN : 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15816	68B26	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Term rewriting and all that / Baader, Franz

Public ISBD Titre : Term rewriting and all that Type de document : texte imprimé Auteurs : Baader, Franz ; Nipkow, Tobias Editeur : Cambridge : Cambridge University Press Année de publication : 1998 Importance : xii - 301 p. ISBN/ISSN/EAN : 978-0-521-77920-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 08-XX General algebraic systems:08AXX Algebraic structures :08A70 Applications of universal algebra in computer science 68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems Mots-clés : computer science  rewriting systems  term rewriting Index. décimale : 68C Monographie Term rewriting and all that [texte imprimé] / Baader, Franz ; Nipkow, Tobias . - Cambridge : Cambridge University Press, 1998 . - xii - 301 p. ISBN : 978-0-521-77920-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 08-XX General algebraic systems:08AXX Algebraic structures :08A70 Applications of universal algebra in computer science 68-XX Computer science :68QXX Theory of computing:68Q42 Grammars and rewriting systems Mots-clés : computer science  rewriting systems  term rewriting Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13129	68C50	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1