Book Description Condition: New. Print on Demand pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5864789

More information about this seller | Contact seller

Buy New

� 64.64

Convert currency

Add to Basket

Shipping: � 6.50

From United Kingdom to U.S.A.

Destination, rates & speeds

Stock Image

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

N/A

Published by Springer (1980)

ISBN 10: 3540100091 ISBN 13: 9783540100096

New Softcover Quantity: 15

Seller:

Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Ireland)

Rating

Seller Rating:

Book Description Condition: New. Seller Inventory # V9783540100096

More information about this seller | Contact seller

Buy New

� 69.46

Convert currency

Add to Basket

Shipping: � 8.92

From Ireland to U.S.A.

Destination, rates & speeds

Seller Image

5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980

R. Kowalski

Published by Springer Berlin Heidelberg (1980)

ISBN 10: 3540100091 ISBN 13: 9783540100096

New Taschenbuch Quantity: 1

Seller:

AHA-BUCH GmbH
(Einbeck, Germany)

Rating

Seller Rating:

Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs as descriptions of computation.- Program synthesis from incomplete specifications.- A system for proving equivalences of recursive programs.- Variable elimination and chaining in a resolution-based prover for inequalities.- Decision procedures for some fragments of set theory.- Simplifying interpreted formulas.- Specification and verification of real-time, distributed systems using the theory of constraints.- Reasoning by plausible inference.- Logical support in a time-varying model.- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions.- An experiment with 'Edinburgh LCF'.- An approach to theorem proving on the basis of a typed lambda-calculus.- Adding dynamic paramodulation to rewrite algorithms.- Hyperparamodulation: A refinement of paramodulation.- The AFFIRM theorem prover: Proof forests and management of large proofs.- Data structures and control architecture for implementation of theorem-proving programs.- A note on resolution: How to get rid of factoring without loosing completeness.- Abstraction mappings in mechanical theorem proving.- Transforming matings into natural deduction proofs.- Analysis of dependencies to improve the behaviour of logic programs.- Selective backtracking for logic programs.- Canonical forms and unification.- Deciding unique termination of permutative rewriting systems: Choose your term algebra carefully.- How to prove algebraic inductive hypotheses without induction.- A complete, nonredundant algorithm for reversed skolemization. Seller Inventory # 9783540100096

More information about this seller | Contact seller

Buy New

� 52.08

Convert currency

Add to Basket

Shipping: � 28.03

From Germany to U.S.A.

Destination, rates & speeds

Seller Image

5th Conference on Automated Deduction

Bibel, Wolfgang|Kowalski, R.

Published by Springer Berlin Heidelberg (1980)

ISBN 10: 3540100091 ISBN 13: 9783540100096

New Softcover Quantity: > 20

Print on Demand

Seller:

moluna
(Greven, Germany)

Rating

Seller Rating:

Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs as descript. Seller Inventory # 4880747

More information about this seller | Contact seller

Buy New

� 42.33

Convert currency

Add to Basket

Shipping: � 41.62

From Germany to U.S.A.

Destination, rates & speeds

There are more copies of this book

View all search results for this book