![close close](/opc/sites/all/modules/xc/xc_search/images/alert-close.png)
1.
図書 |
editor, André Thayse ; authors, Jean-Louis Binot ... [et al.]
|
|||||||
2.
図書 |
editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte
|
|||||||
3.
図書 |
3. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
|
|||||||
4.
図書 |
André Thayse
|
|||||||
5.
図書 |
André Thayse
|
|||||||
6.
図書 |
Marc Davio, Jean-Pierre Deschamps, André Thayse ; with a foreword by Raymond T. Yeh
|