From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions by Dominique SnyersFrom Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions by Dominique Snyers

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

byDominique Snyers

Paperback | August 12, 1987

Pricing and Purchase Info

$122.82 online 
$128.95 list price
Earn 614 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:From Logic Design to Logic Programming: Theorem Proving Techniques and P-FunctionsFormat:PaperbackDimensions:130 pages, 9.17 × 6.1 × 0 inPublished:August 12, 1987Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540182179

ISBN - 13:9783540182177

Look for similar items by category:

Reviews

Table of Contents

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.