A computational logic /

Benzer Materyaller

• A computational logic handbook /
  Yazar:: Boyer, Robert S.
  Baskı/Yayın Bilgisi: (1988)
• Automated theorem proving /
  Yazar:: Bibel, W., 1938-
  Baskı/Yayın Bilgisi: (1982)
• Instantiation theory : on the foundations of automated deduction /
  Yazar:: Williams, James G.
  Baskı/Yayın Bilgisi: (1991)
• Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings /
  Baskı/Yayın Bilgisi: (1994)
• Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
  Baskı/Yayın Bilgisi: (1994)