close
1.

図書

図書
Association for Computing Machinery
出版情報: New York, N.Y. : ACM, c1986  531 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
出版情報: Washington, D.C. : IEEE Computer Society Press, 1986  xxvi, 1248 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by H.-J. Kugler ; programme committee, D. Bjørner ... [et al.]
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  xxxvii, 1215 p. ; 31 cm
シリーズ名: IFIP congress series ; v. 10
所蔵情報: loading…
4.

図書

図書
edited by Kesav V. Nori
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  xii, 518 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 241
所蔵情報: loading…
5.

雑誌

雑誌
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
6.

図書

図書
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
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼