1.
図書 |
1. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
|
|||||||||||||||||||||||||||||||||||||||||
2.
図書 |
P. Treleaven, M. Vanneschi (eds.)
|
|||||||||||||||||||||||||||||||||||||||||
3.
図書 |
James S. Royer
|
|||||||||||||||||||||||||||||||||||||||||
4.
図書 |
J. Bézivin ... [et al.] (eds.)
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||
5.
図書 |
Eiiti Wada (ed.)
|
|||||||||||||||||||||||||||||||||||||||||
6.
図書 |
Thomas Ottmann, (ed.)
|
|||||||||||||||||||||||||||||||||||||||||
7.
図書 |
David Gries
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||
8.
図書 |
edited by David Pitt ... [et al.]
|
|||||||||||||||||||||||||||||||||||||||||
9.
図書 |
edited by Roger C. Schank, Christopher K. Riesbeck
目次情報:
続きを見る
|
|||||||||||||||||||||||||||||||||||||||||
10.
図書 |
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
|
|||||||||||||||||||||||||||||||||||||||||
11.
図書 |
edited by Peter J.L. Wallis
|
|||||||||||||||||||||||||||||||||||||||||
12.
図書 |
Howard Barringer
|
|||||||||||||||||||||||||||||||||||||||||
13.
図書 |
edited by Rohit Parikh
|
|||||||||||||||||||||||||||||||||||||||||
14.
図書 |
edited by Mathai Joseph and Rudrapatna Shyamasundar
|
|||||||||||||||||||||||||||||||||||||||||
15.
図書 |
15. Formal methods and software development : Colloquium on Software Engineering (CSE) (: gw ; : us)
edited by Hartmut Ehrig ... [et al.]
|
|||||||||||||||||||||||||||||||||||||||||
16.
図書 |
edited by Wilfried Brauer
|
|||||||||||||||||||||||||||||||||||||||||
17.
図書 |
edited by Hartmut Ehrig ... [et al.]
|
|||||||||||||||||||||||||||||||||||||||||
18.
図書 |
edited by B. Robinet and R. Wilhelm
|
|||||||||||||||||||||||||||||||||||||||||
19.
図書 |
edited by H. Ganzinger and N.D. Jones
|
|||||||||||||||||||||||||||||||||||||||||
20.
図書 |
edited by Eiichi Goto, Keijiro Araki and Taiichi Yuasa
|
|||||||||||||||||||||||||||||||||||||||||
21.
図書 |
edited by Ehud Shapiro
|
|||||||||||||||||||||||||||||||||||||||||
22.
図書 |
edited by Eiiti Wada
|
|||||||||||||||||||||||||||||||||||||||||
23.
図書 |
Olivier Danvy, Andrzej Filinski (eds.)
目次情報:
続きを見る
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼