Logical approach to control theory and applications /

অনুরূপ উপাদানগুলি

• Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
  প্রকাশিত: (2001)
• Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
  অনুযায়ী: Chou, Shang-Ching, 1946-
  প্রকাশিত: (1994)
• Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
  প্রকাশিত: (2001)
• Fuzzy logic :
  অনুযায়ী: F. Martin McNeill
  প্রকাশিত: (1994)
• Programmable logic devices and logic controllers
  অনুযায়ী: Enrique Mandado
  প্রকাশিত: (1996)