ISBN 9780387950754,Automated Theorem Proving

Automated Theorem Proving

Rs8370 Rs12012 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9780387950754
Check delivery information
 
ISBN 9780387950754
Publisher

Ingram Publisher Services

Publication Year 2000
ISBN-13

ISBN 9780387950754

ISBN-10 0387950753
Binding

Hardback

Number of Pages 245 Pages
Subject

Mathematical logic

Introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs: semantic-tree theorem proving and resolution-refutation theorem proving. This title also introduces first-order predicate calculus, well-formed formulae, and their transformation to clauses.
Scroll