close
1.

図書
図書
1. From modal logic to deductive databases : introducing a logic based approach to artificial intelligence
editor, André Thayse ; authors, Paul Gochet ... [et al.], with the collaboration of Philippe Delsarte
出版情報: Chichester ; New York : Wiley, c1989
所蔵情報: loading…
2.

図書
図書
2. Discrete and switching functions
Marc Davio, Jean-Pierre Deschamps, André Thayse ; with a foreword by Raymond T. Yeh
出版情報: St. Saphorin, Switzerland : Georgi Pub. Co. , New York : McGraw-Hill International Book Co., c1978
シリーズ名: Advanced book program
所蔵情報: loading…
3.

図書
図書
3. Boolean calculus of differences (: gw ; : us)
André Thayse
出版情報: Berlin ; New York : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 101
所蔵情報: loading…
4.

図書
図書
4. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: loading…