close
1.

図書
図書
1. Logic and computer science
edited by Piergiorgio Odifreddi
出版情報: London ; Tokyo : Academic Press, c1990
シリーズ名: A.P.I.C. studies in data processing ; v. 31
所蔵情報: loading…
2.

図書
図書
2. Graph-based proof procedures for horn clauses
Stan Raatz
出版情報: Boston : Birkhaüser, 1990
シリーズ名: Progress in computer science and applied logic ; v. 10
所蔵情報: loading…