Logic Design Programming Theorem by Snyers Dominique (10 results)

Author:

Title:

Refine with Advanced Search

From Logic Design to Logic Programming : Theorem Proving Techniques and P-functions
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
£ 54.42
£ 1.97 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Discover more from Dominique Snyers
Explore their published works and collectible offers.Explore Dominique Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Very good
£ 52.68
£ 5.23 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271)
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
Contact seller
Condition: New
£ 49.34
£ 9.37 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New. In English.
From Logic Design to Logic Programming : Theorem Proving Techniques and P-functions
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
£ 60.05
£ 1.97 shipping
Ships within U.S.A.
Quantity: 15 available
Condition: New.
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Snyers, Dominique
Language: English
Published by Springer 1987-08, 1987
3540182179 / 9783540182177
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
5-star seller
Contact seller
Condition: New
£ 47.38
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Quantity: 10 available
PF. Condition: New.
From Logic Design to Logic Programming : Theorem Proving Techniques and P-functions
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
£ 49.33
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
From Logic Design to Logic Programming : Theorem Proving Techniques and P-functions
Snyers, Dominique; Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
£ 55.98
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Dominique Snyers
Language: English
Published by Springer, Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
5-star seller
Contact seller
Condition: New
£ 47.24
£ 52.38 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science (271))
Snyers, Dominique, Thayse, Andre
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
4-star seller
Contact seller
Condition: Used - Very good
£ 106.00
£ 25.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
From Logic Design to Logic Programming | Theorem Proving Techniques and P-Functions
Dominique Snyers (u. a.)
Language: English
Published by Springer, 1987
3540182179 / 9783540182177
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 44.39
£ 60.03 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. From Logic Design to Logic Programming | Theorem Proving Techniques and P-Functions | Dominique Snyers (u. a.) | Taschenbuch | iv | Englisch | 1987 | Springer | EAN 9783540182177 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Logic Design Programming Theorem by Snyers Dominique (10 results)

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

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

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

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

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

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

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

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

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

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