Clausal form logic : an introduction to the logic of computer reasoning /

Benzer Materyaller

• The logic of information structures /
  Yazar:: Wansing, H. (Heinrich)
  Baskı/Yayın Bilgisi: (1993)
• Vivid logic : knowledge-based reasoning with two kinds of negation /
  Yazar:: Wagner, G. (Gerd), 1957-
  Baskı/Yayın Bilgisi: (1994)
• Cooperating heterogeneous systems /
  Yazar:: Schwartz, David G.
  Baskı/Yayın Bilgisi: (1995)
• Pure logic, and other minor works /
  Yazar:: Jevons, William Stanley, 1835-1882
  Baskı/Yayın Bilgisi: (1971)
• Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings /
  Baskı/Yayın Bilgisi: (1995)