close
1.

図書
図書
1. From natural language processing to logic for expert systems : a logic based approach to artificial intelligence
editor, André Thayse ; authors, Jean-Louis Binot ... [et al.]
出版情報: Chichester ; New York : Wiley, c1991
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. 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…
4.

図書
図書
4. P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (: gw ; : us)
André Thayse
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 175
所蔵情報: loading…
5.

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

図書
図書
6. 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…