From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science; 271)

By: Snyers, Dominique; Thayse, Andre

Price: £6.71

Quantity: 1 available


Ex-library book. Softcover with lightly worn head of spine and slightly creased and worn leading corners. Traces of library sticker on foot of spine. Library stamps on page block, title and catalogue pages and inside back cover. Library plate on inside front cover. Remains of library plate and sticker on title page. Pages are tanned. Minor creasing to upper leading corners of early and final pages. Binding is sound, and text remains clear throughout. T

Title: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science; 271)

Author Name: Snyers, Dominique; Thayse, Andre

Categories: Computers & Technology (incl. AI),

Publisher: Berlin, Germany, Springer-Verlag: 1987

ISBN Number: 3540182179

ISBN Number 13: 9783540182177

Binding: paperback

Book Condition: Good

Jacket Condition: No Dust Jacket

Type: Ex-Library

Seller ID: 293670