From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
5 Angebote vergleichen
Bester Preis: € 40,21 (vom 11.11.2016)1
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science) (1987)
EN PB USISBN: 9780387182179 bzw. 0387182179, in Englisch, 125 Seiten, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, SuburbanBooks.
It is shown 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 (e.g. hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines). Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1987-09, Studio: Springer-Verlag, Verkaufsrang: 17290210.
Von Händler/Antiquariat, SuburbanBooks.
It is shown 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 (e.g. hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines). Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1987-09, Studio: Springer-Verlag, Verkaufsrang: 17290210.
2
Symbolbild
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science) (1987)
EN PB USISBN: 9780387182179 bzw. 0387182179, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1987-09. Paperback. Very Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1987-09. Paperback. Very Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
3
Symbolbild
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
EN PB USISBN: 9780387182179 bzw. 0387182179, in Englisch, Springer, Deutschland, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, SHIP_UK_FAST.
Paperback. Vary Good .
Von Händler/Antiquariat, SHIP_UK_FAST.
Paperback. Vary Good .
4
Symbolbild
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science) (1987)
EN PB USISBN: 9780387182179 bzw. 0387182179, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, Bookmonger.Ltd, NJ, Hillside, [RE:5].
Paperback.
Von Händler/Antiquariat, Bookmonger.Ltd, NJ, Hillside, [RE:5].
Paperback.
5
Symbolbild
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science) (1987)
EN PB USISBN: 9780387182179 bzw. 0387182179, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Verandgebiet: DOM.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Paperback.
Von Händler/Antiquariat, ExtremelyReliable, TX, Richmond, [RE:4].
Paperback.
Lade…