Hardback (30 Jun 1991)
Not available for sale
Out of stock
An examination of the applications of logic in computer science, this textbook explores the classical propositional logic with truth tables, forward natural deduction and backward deduction, logic programming in PROLOG, control in logic, database control and program derivations.
| ISBN: | 9780745800141 |
| Publisher: | Ellis Horwood |
| Imprint: | Ellis Horwood |
| Pub date: | 30 Jun 1991 |
| Language: | English |
| Number of pages: | 250 |
| Weight: | -1g |
| Height: | 240mm |
| Width: | 167mm |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
$1.31off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.31
$4.01off
Mining Complex Networks
Paperback
Published 26 Aug 2024
Save $4.01
$4.35off
Min-Max Framework for Majorizat...
Paperback
Published 04 Nov 2024
Save $4.35
Decision Making Models
Paperback
Published 25 Jul 2024
$3.80off
A Gentle Introduction to Scient...
Paperback
Published 27 May 2024
Save $3.80
$9.30off
An Introduction to Deep Surviva...
Paperback
Published 02 Jan 2025
Save $9.30
$4.75off
Frontiers of Fractal Analysis
Paperback
Published 08 Oct 2024
Save $4.75
$1.81off
Introduction to Python for Scie...
Paperback
Published 24 Sep 2024
Save $1.81
