close
1.

図書
図書
1. Automated reasoning : introduction and applications. 2nd ed
Larry Wos ... [et al.]
出版情報: New York : McGraw-Hill, c1992
所蔵情報: loading…
2.

図書
図書
2. Automated reasoning : introduction and applications (pbk.)
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984
所蔵情報: loading…