Logic With Prolog(1st Edition)
Authors:
Peter Gibbins
In Stock: 1 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0198596715, 978-0198596714
Book publisher: Oxford University Press
Book Price $0 : 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. Logical Concepts And How They May Be Implemented In The Logic Programming Language Prolog Are Emphasized. The Authors Discuss Parsers, Pretty-printers, Programming Language Interpreters, Interactive Proof-checkers, Theorem-provers Of Various Kinds, And Implements Versions Of Prolog. The Early Part Of The Book Deals With Prolog As A Programming Language, And How It Can Be Used. The Core Of The Book Deals With The Propositional And Predicate Calculi, Which Are Treated Conventionally, Via Natural Deduction Systems. The Theory Behind Automatic Theorem-proving Is Sketched. The Last Two Chapters Examine The Logic Of A Specified Small Programming Imperative Language And The Restricted Logic Of Real Prolog. Philosophical Questions Are Also Considered.
Customers also bought these books (16)
Artificial Intelligence A Modern Approach - 2nd Edition
Stuart J. Russell and Peter Norvig
ISBN: 8120323823, 9788120323827, 978-0137903955
$0 $24.95
Managerial Accounting - 13th Edition
Ray H. Garrison
ISBN: 978-0073379616, 73379611, 978-0697789938
$0 $58.53
University Physics with Modern Physics - 12th Edition
Hugh D. Young
ISBN: 978-0321501479, 9780805321876, 321501470, 978-0321501219
$0 $24.30
Essentials Of Business Statistics Communicating With Numbers - 1st Edition
Sanjiv Jaggia
ISBN: 78020549, 978-0078020544
$0 $26.35
Python 3 Traitement De Donnees Et Techniques De Programmation Traitement De Donnees Et Techniques De Programmation - 1st Edition
Sebastien Chazallet
ISBN: 2409022928, 978-2409022920
$0 $74.22
Artificial Intelligence Through Prolog Instructors Manual - 1st Edition
Neil C Rowe
ISBN: 0130486876, 978-0130486875
$0 $50.87
Quickbooks For The Accounting Student - 1st Edition
Rivkie Meisels
ISBN: 0990500209, 978-0990500209
$0 $31.00
Python Ganz Leicht Programmieren Lernen Ohne Vorkenntnisse - 1st Edition
Hans Georg Schumann
ISBN: 3962690603, 978-3962690601
$0 $54.47
Analysis Of Neural Data - 1st Edition
Robert E. Kass Uri T. Eden
ISBN: 1493940783, 978-1493940783
$106.35 $151.93
Construction accounting and financial management - 2nd Edition
Steven j. Peterson
ISBN: 135017114, 978-0135017111
$0 $69.00
Le Petit Python Aide Memoire Pour Python 3 - 1st Edition
M Richard Gomez
ISBN: 2340017866, 978-2340017863
$0 $18.92Popular Among Students (14)
Dave Whitlocks Guide To Aquatic Trout Foods - 1st Edition
Dave Whitlock
ISBN: 1599210665, 978-1599210667
$0 $11.40
Seashore Plants Of South Florida And The Caribbean A Guide To Knowing And Growing Drought And Salt Tolerant Plants - 1st Edition
David W Nellis
ISBN: 1561640565, 978-1561640560
$0 $8.65
The City Home Garden The Classic Usda Farmers Bulletin No 1044 With Tips And Traditional Methods In Sustainable Gardening And Permaculture - 1st Edition
U S Department Of Agriculture
ISBN: 1643891421, 978-1643891422
$0 $7.00
Engineering Problem Solving With C++ - 3rd Edition
Delores M Etter
ISBN: 0132492652, 9780132492652
$0 $15.18
Python Fur Ingenieure Fur Dummies - 1st Edition
Carsten Knoll
ISBN: 3527717676, 978-3527717675
$0 $26.46
Spring Recipes A Problem-Solution Approach - 3rd Edition
Daniel Rubio
ISBN: 1430259094, 9781430259091
$0 $44.00
Design User Experience And Usability Designing Pleasurable Experiences 6th International Conference Duxu 2017 Held As Part Of Hci International Ii - 1st Edition
Aaron Marcus
ISBN: 331958636X, 978-3319586366
$0 $16.60
The Great Dance The Christian Vision Revisited - 1st Edition
C Baxter Kruger Phd
ISBN: 1573833452, 978-1573833455
$0 $6.57
Mustererkennung 1998 20 Dagm Symposium Stuttgart 29 September 01 Oktober 1998 - 1st Edition
Paul Levi
ISBN: 3540649352, 978-3540649359
$0 $43.00