STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	Symposium on Theoretical Aspects of Computer Science :Bordeaux, Gironde
Altres autors:	Wirsing, Martin, 1948- (Director editorial), Cori, Robert, 1944- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais Français
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 294
Matèries:	Informatique Algorithmes Logique symbolique et mathématique Analyse combinatoire Microprogrammation Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• STACS 88, 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988, Heidelberg, Springer-Verlag, 1988, 1 vol.(IX, 404 p.), Lecture notes in computer science, 0-387-18834-7 • STACS 88, Texte imprimé, 9783662196564