Skip to main content
PBS logo
 
 

Search - Logic for Computer Science (International Computer Science Series)

Logic for Computer Science (International Computer Science Series)
Logic for Computer Science - International Computer Science Series
Author: Steve Reeves, Michael Clarke
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowled...  more »
ISBN-13: 9780201416435
ISBN-10: 0201416433
Pages: 368
Rating:
  ?

0 stars, based on 0 rating
Publisher: Addison-Wesley
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: