First-Order Logic and Automated Theorem Proving

(

)

Author:

Series title:

Monographs in Computer Science Ser.

ISBN:

978-1-4684-0359-6

Publication Date:

Jul 2012

Publisher:

Springer

Book Format:

Paperback

List Price:

USD $99.00

Book Description:

Book Details

Pages:	264
Detailed Subjects:	Computers / Artificial Intelligence / General Mathematics / Logic
Physical Dimensions (W X L X H):	6.14 x 9.21 x 0.55 Inches
Book Weight:	0.83 Pounds

Related Books

Rate this title:

Select your rating below then click 'submit'.