Produktbild
Wolfgang (Hrsg.) Bibel

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Buch

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 const… Mehr

CHF 108.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Kowalski, R. (Hrsg.)
  • ISBN: 978-3-540-10009-6
  • EAN: 9783540100096
  • Produktnummer: 3242137
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 1980
  • Seitenangabe: 404 S.
  • Masse: H23.5 cm x B15.5 cm x D2.1 cm 610 g
  • Auflage: 1980
  • Abbildungen: Paperback
  • Gewicht: 610

17 weitere Werke von Wolfgang (Hrsg.) Bibel:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.