Handbook of logic in artificial intelligence and logic programming (v.2 : deduction methodologies )/

類似資料

• Textbook of deductive logic
  著者:: Bhola Nath Roy
  出版事項: (1982)
• A text book of deductive logic
  著者:: Ghosh,B N
  出版事項: (1984)
• Textbook of deductive logic/
  著者:: Bholanath Roy
  出版事項: (1984)
• Introduction to logic and to the methodology of deductive sciences
  著者:: Tarski, Alfred
  出版事項: (1965)
• Logic for computer science and artificial intelligence
  著者:: Caferra, Ricardo
  出版事項: (2011)