メインコンテンツに移動

このページのQRコード

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.)
出版情報
  • Berlin ; Tokyo : Springer-Verlag , c1989
形態
  • x, 289 p.  :  ill.  ;  25 cm
ISBN
  • 9783540512370 [3540512373] (: gw)
  • 9780387512372 [0387512373] (: us)
シリーズ名
著者名
書誌ID
  • BA06995139
注記
  • Includes bibliographical references
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA75.5
  • DCC：004/.01/5113
  • LCSH：Computers--Congresses
  • LCSH：Electronic data processing--Congresses
  • LCSH：Logic, Symbolic and mathematical--Congresses
主題
タイトルが類似している資料
類似資料
図書

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

International Symposium on Logical Foundations of Computer Science Nerode, Anil, 1932- Taitslin, M. A. (Mikhail A.), 1936-
Springer-Verlag, c1992
図書

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

International Symposium on Logical Foundations of Computer Science Adi︠a︡n, S. I. Nerode, Anil, 1932-
Springer-Verlag, c1997
図書

Proceedings : Fourth Annual Symposium on Logic in Computer Science

Symposium on Logic in Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1989
図書

Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976

Symposium on Mathematical Foundations of Computer Science Mazurkiewicz, Antoni Polska Akademia Nauk. Centrum Obliczeniowe Uniwersytet Gdański
Springer-Verlag, 1976
図書

30th Annual Symposium on Foundations of Computer Science, October 30-November 1, 1989, Research Triangle Park, NC

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1989
図書

Proceedings : 39th Annual Symposium on Foundations of Computer Science, November 8-11, 1998, Palo Alto, California

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1998
図書

Proceedings of the seventh IBM Symposium on Mathematical Foundations of Computer Science : mathematical theory of computations

IBM Symposium on Mathematical Foundations of Computer Science IBM Japan. Corporate & Scientific Programs
Corporate & Scientific Programs, IBM Japan, [1982]
図書

Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986

Symposium on Logic in Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing ACM Special Interest Group for Automata and Computability Theory Association for Symbolic Logic European Association for Theoretical Computer Science
IEEE Computer Society Press Order from IEEE Computer Society, c1986
図書

23rd Annual Symposium on Foundations of Computer Science, November 3-5, 1982

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1982
図書

Proceedings : 37th Annual Symposium on Foundations of Computer Science, October 14-16, 1996, Burlington, Vermont

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1996
図書

Proceedings : 38th Annual Symposium on Foundations of Computer Science, October 20-22, 1997, Miami Beach, Florida

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1997
図書

31st Annual Symposium on Foundations of Computer Science, October 22-24, 1990, St. Louis, Missouri

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1990
図書

Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms

IBM Symposium on Mathematical Foundations of Computer Science IBM Japan. Corporate & Scientific Programs
Corporate & Scientific Programs IBM Japan, [1977]
図書

Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA

Symposium on Logic in Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1990
図書

Natural language and logic : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989 : proceedings

International Scientific Symposium Studer, Rudi, 1951-
Springer-Verlag, c1990
図書

27th Annual Symposium on Foundations of Computer Science, Oct. 27-29, 1986

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1986
図書

24th Annual Symposium on Foundations of Computer Science, November 7-9, 1983

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1983
図書

40th Annual Symposium on Foundations of Computer Science, October 17-19, 1999, New York City, New York

Symposium on Foundations of Computer Science IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
IEEE Computer Society Press, c1999
図書

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings

International Conference on Computer Logic Martin-Löf, Per, 1942- Mint︠s︡, Grigori
Springer-Verlag, c1990
図書

Graph-theoretic concepts in computer science : 15th International Workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989, proceedings

International Workshop on Graph-Theoretic Concepts in Computer Science Nagl, Manfred, 1944- Rheinisch-Westfälische Technische Hochschule Aachen. Lehrstuhl für Informatik III
Springer-Verlag, c1990