Symposium on semantics of algorithmic languages / Engeler, E. Ed.

Public ISBD Titre : Symposium on semantics of algorithmic languages Type de document : texte imprimé Auteurs : Engeler, E. Ed. Editeur : Springer-Verlag Année de publication : 1971 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 188 Importance : VI - 372 p. Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68PXX Theory of data:68P20 Information storage and retrieval 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : information storage and retrieval  logic programming  formal languages Index. décimale : LNM Symposium on semantics of algorithmic languages [texte imprimé] / Engeler, E. Ed. . - [S.l.] : Springer-Verlag, 1971 . - VI - 372 p. . - (Lecture Notes in Mathematics, ISSN 0075-8434; 188) . Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N01 General 68-XX Computer science :68NXX Software:68N17 Logic programming 68-XX Computer science :68PXX Theory of data:68P20 Information storage and retrieval 68-XX Computer science :68QXX Theory of computing:68Q45 Formal languages and automata 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : information storage and retrieval  logic programming  formal languages Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13935	LNM/188	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

---

page 1/1