1.
図書 |
電子開発学園出版局編
|
|||||||
2.
図書 |
J. Bézivin ... [et al.] (eds.)
|
|||||||
3.
図書 |
Thomas Ottmann, (ed.)
|
|||||||
4.
図書 |
4. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
|
|||||||
5.
図書 |
P. Treleaven, M. Vanneschi (eds.)
|
|||||||
6.
図書 |
James S. Royer
|
|||||||
7.
図書 |
Eiiti Wada (ed.)
|
|||||||
8.
図書 |
伊藤藤男〔ほか〕著
|
|||||||
9.
図書 |
大浦由貴著
|
|||||||
10.
図書 |
鈴木陽一著
|