著者典拠情報

著者標目形：
International Symposium on Logical Foundations of Computer Science
属性：
Meeting
場所：
Pereslavl-Zalessky, USSR;Tver, Russia;St.Petersburg;Yaroslavl, Russia
日付：
1989;1992;1994;1997
から見よ参照形：
International Symposia on Logical Foundations of Computer Science
Symposium on Logical Foundations of Computer Science
LFCS
注記：
Its Logic at Botik '89, 1989: CIP t.p. (held July 1989, Pereslavl-Zalessky, USSR)
Its Logical foundations of computer science -Tver '92, 1992: CIP t.p. (Second : July 20-24, 1992 : Tver, Russia)
Its (3rd : 7/11-14/94 : St.Petersburg, Russia) Logical foundations of computer science, c1994
EDSRC:Logical foundations of computer science : 4th international symposium, LFCS ʾ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode, (eds.)(Springer-Verlag, c1997)
著者典拠ID：
DA07348676


1.

図書
図書
1. Logical foundations of computer science : 4th international symposium, LFCS ʾ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Sergei Adian, Anil Nerode, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997
シリーズ名: Lecture notes in computer science ; 1234
所蔵情報: 図書館
2.

図書
図書
2. Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings (: us ; : gw)
A. Nerode, Yu. V. Matiyasevich (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 813
所蔵情報: 図書館
3.

図書
図書
3. Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings (: gw ; : us)
A. Nerode, M. Taitslin (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 620
所蔵情報: 図書館
4.

図書
図書
4. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings (: gw ; : us)
A.R. Meyer, M.A. Taitslin (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 363
所蔵情報: 図書館