Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : International symposium on logical foundations of computer science (03 ; 1994 ; Saint-Pétersbourg, Russie)  Voir les notices liées en tant qu'auteur

Titre(s) : Logical foundations of computer science [Texte imprimé] : Third international symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, proceedings / A. Nerode, Yu. V. Matiyasevich, eds.

Publication : Berlin ; New York : Springer, cop. 1994

Description matérielle : IX-392 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 813

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap.

Autre(s) auteur(s) : Nerode, Anil (1932-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Matiâsevič, Ûrij Vladimirovič. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique -- Mathématiques  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  004.015 1 (23e éd.) = Informatique - Principes mathématiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-387-58140-5 (New York). - ISBN 3-540-58140-5 (Berlin)

Identifiant de la notice  : ark:/12148/cb37462000r

Notice n° :  FRBNF37462000