Best Reference Books for Symbolic Logic And Automated Reasoning

by BuildMyVocab

List of "Best Reference Books for Symbolic Logic And Automated Reasoning" compiled based on Amazon book reviews by experts. These books are used by students of top institutes, universities, colleges and professionals. Please feel free to suggest any other book on this topic using the comment section below.

  1. Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... (Lecture Notes in Computer Science) by
    Springer (Number of pages: 350)
    Add to Amazon wishlist
  2. Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 394)
    Add to Amazon wishlist
  3. Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) by J Strother Moore
    Springer (Number of pages: 320)
    Add to Amazon wishlist
  4. Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 380)
    Add to Amazon wishlist
  5. Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 294)
    Add to Amazon wishlist
  6. Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 438)
    Add to Amazon wishlist
  7. Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 286)
    Add to Amazon wishlist
  8. Logics in Artificial Intelligence: European Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 426)
    Add to Amazon wishlist
  9. 8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 716)
    Add to Amazon wishlist
  10. Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings (Lecture Notes in Computer Science) by
    Springer (Number of pages: 206)
    Add to Amazon wishlist

Discuss anything about "Best Reference Books for Symbolic Logic And Automated Reasoning" below. Submit your favourite books on the topic using the comment section below.