Notice bibliographique
- Notice
000 nam 22 450
001 FRBNF374620000000008
010 .. $a 0-387-58140-5 $b New York
010 .. $a 3-540-58140-5 $b Berlin
039 .. $o GEA $a 002676625
100 .. $a 19950911d1994 m y0frey50 ba
101 0. $a eng
102 .. $a DE $a US
105 .. $a a ||||10|y|
106 .. $a r
181 .0 $6 01 $a i $b xxxe $a b $b xb2e
181 .. $6 02 $c txt $c sti $2 rdacontent
182 .0 $6 01 $a n
182 .. $6 02 $c n $2 rdamedia
200 1. $a Logical foundations of computer science $b Texte imprimé $e Third international symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994,
proceedings $f A. Nerode, Yu. V. Matiyasevich, eds.
210 .. $a Berlin $a New York $c Springer $d cop. 1994
215 .. $a IX-392 p. $c ill. $d 24 cm
225 |. $a Lecture notes in computer science $v 813
300 .. $a Bibliogr. à la fin de chaque chap.
410 .0 $0 34260588 $t Lecture notes in computer science $x 0302-9743 $v 813
676 .. $a 004.015 1 $v 23
710 || $3 12481974 $a International symposium on logical foundations of computer science $d 03 $f (1994 $e Saint-Pétersbourg, Russie $4 070
801 .0 $a FR $b FR-751131015 $c 19950911 $g AFNOR $h FRBNF374620000000008 $2 intermrc
930 .. $5 FR-751131009:37462000001001 $a 2000-364483 $b 759999999 $c Tolbiac - Rez de Jardin - Sciences et technique - Magasin $d O
