-

- Search
- Search Library Catalog
- Search entire library,
including catalog:
- Search Library Catalog
- Find
- Get Help
- Services
- Information
- My Account
-
Meta
New Titles
Logic With Prolog

Attribution
Peter GibbinsPublication Details
BookClarendon Press1988Description
This book is an introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning to have an impact on the traditional area of conventional software engineering. (automatically summarized from Amazon.com)Availability
LOCATION CALL # STATUS (UPPER LEVEL) QA76.73.P76 G53 1988 AVAILABLE
Bookmark this at
Email this page
Stay up to date
This Search. Subscribe via Bloglines, Google, RSS:FWD Email.
All Posts. Subscribe via Bloglines, Google, RSS:FWD Email.
All Comments. Subscribe via Bloglines, Google, RSS:FWD Email.
Automatically translate this to
Powered by bSuite.







