1.

図書

図書
René Cori and Daniel Lascar ; translated by Donald H. Pelletier
出版情報: New York : Oxford University Press, 2000-
所蔵情報: loading…
2.

図書

図書
Kenneth H. Rosen
出版情報: New York : McGraw-Hill, c2013
所蔵情報: loading…
3.

図書

図書
Abram Aronovich Stolyar ; translation edited by Elliott Mendelson ; [translated by Scripta Technica, Inc.]
出版情報: Cambridge, Mass. : MIT Press, c1970
所蔵情報: loading…
4.

図書

図書
edited, with annotations and an introd., by William Warren Bartley, III
出版情報: New York : C.N. Potter : distributed by Crown Publishers, c1977
所蔵情報: loading…
5.

図書

図書
Gerald A. Maley, John Earle
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, 1963
シリーズ名: Prentice-Hall international series in electrical engineering
所蔵情報: loading…
6.

図書

図書
[by] P.S. Novikov ; Translated by Leo F. Boron ; With a preface and notes by R.L. Goodstein
出版情報: Edinburgh : Oliver & Boyd, c1964
所蔵情報: loading…
7.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
8.

図書

図書
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998
所蔵情報: loading…
9.

図書

図書
Raymond L. Wilder
出版情報: New York : Wiley , Tokyo : Toppan, c1952
所蔵情報: loading…
10.

図書

図書
[by] Carlos E. Alchourrón and Eugenio Bulygin
出版情報: New York ; Wien : Springer-Verlag, 1971
シリーズ名: Library of exact philosophy ; 5
所蔵情報: loading…