|
Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic t
Title: The Calculus of Computation
Author: Bradley, Aaron R./ Manna, Zohar
Publisher: Springer-Verlag New York Inc
Publication Date: 2007/06/30
Number of Pages: 366
Binding Type: HARDCOVER
Library of Congress: Additional Details\N
BRAND : BRADLEY, AARON R./ MANNA, ZOHAR
SKU : 9783540741121
UPC : 9783540741121
|