Items related to From Logic Design to Logic Programming: Theorem Proving...

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

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

Synopsis

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date1987
  • ISBN 10 3540182179
  • ISBN 13 9783540182177
  • BindingPaperback
  • LanguageEnglish
  • Number of pages129

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 7.99 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0387182179 ISBN 13:  9780387182179
Publisher: Springer Verlag
Softcover

Search results for From Logic Design to Logic Programming: Theorem Proving...

Stock Image

Snyers, Dominique; Thayse, Andre
Published by Springer, 1987
ISBN 10: 3540182179 ISBN 13: 9783540182177
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD1419744

Contact seller

Buy Used

US$ 51.32
Convert currency
Shipping: US$ 7.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Snyers, Dominique; Thayse, Andre
Published by Springer, 1987
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020161652

Contact seller

Buy New

US$ 59.16
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Snyers, Dominique; Thayse, Andre
Published by Springer, 1987
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540182177_new

Contact seller

Buy New

US$ 69.15
Convert currency
Shipping: US$ 16.24
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Dominique Snyers, Andre Thayse
Published by Springer 2008-06-13, 2008
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540182177

Contact seller

Buy New

US$ 66.98
Convert currency
Shipping: US$ 21.00
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Andre Thayse
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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. Seller Inventory # 9783540182177

Contact seller

Buy New

US$ 62.95
Convert currency
Shipping: US$ 33.22
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dominique Snyers|Andre Thayse
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography. Seller Inventory # 4883700

Contact seller

Buy New

US$ 56.93
Convert currency
Shipping: US$ 55.98
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Andre Thayse
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography. 134 pp. Englisch. Seller Inventory # 9783540182177

Contact seller

Buy New

US$ 88.15
Convert currency
Shipping: US$ 26.28
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Andre Thayse
ISBN 10: 3540182179 ISBN 13: 9783540182177
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 134 pp. Englisch. Seller Inventory # 9783540182177

Contact seller

Buy New

US$ 62.95
Convert currency
Shipping: US$ 62.85
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket