<図書>

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)

(Lecture notes in computer science;813)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.813 2012510232

7117/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1994
大きさ ix, 392 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 *International Symposium on Logical Foundations of Computer Science (3rd : 1994 : St. Petersburg, Russia)
Nerode, Anil, 1932-
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ Vladimirovich)
件 名 LCSH:Computers -- Congresses
LCSH:Electronic data processing -- Congresses
LCSH:Logic, Symbolic and mathematical -- Congresses
分 類 LCC:QA75.5
DC20:004
本文言語 英語
書誌ID 2000347482
ISBN 0387581405
NCID BA22708872 WCLINK

類似資料

  1. 1 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
  2. 2 Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
  3. 3 Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.)
  4. 4 Fundamentals of computation theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 : proceedings / J. Csirik, J. Demetrovics, F. Gécseg (eds.)
  5. 5 Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
  6. 6 Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode, (eds.)
  7. 7 Fundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, (ed.)
  8. 8 Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
  9. 9 CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
  10. 10 Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.], eds

検索結果一覧に戻る ページトップ