Automated Theorem Proving

Beschreibung

This new book carefully describes how automated reasoning is performed. It introduces all necessary analytical and mathematical tools to discuss basic inference rules of binary resolution and binary factoring. Two computer programs and source code are provided to use as examples. Advanced students, professionals and researchers in computer science, computer engineering, artificial intelligence and logic programming will find the book a useful text/reference.

Autor*in

Monty Newborn

Themen in »Automated Theorem Proving«

Resolution automated theorem proving proof proving theorem proving

Stimmen zu »Automated Theorem Proving«

Details

Link teilen