KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
Band 971

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

VIII, 408 p.

Herausgeber

E. Thomas Schubert + weitere

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60275-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1995

Abbildungen

VIII, 408 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

628 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60275-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Produktbild: Higher Order Logic Theorem Proving and Its Applications
  • Mechanizing a ?-calculus equivalence in HOL.- Non-primitive recursive function definitions.- Experiments with ZF set theory in HOL and Isabelle.- Automatically synthesized term denotation predicates: A proof aid.- On the refinement of symmetric memory protocols.- Combining decision procedures in the HOL system.- Deciding cryptographic protocol adequacy with HOL.- A practical method for reasoning about distributed systems in a theorem prover.- A theory of finite maps.- Virtual theories.- An automata theory dedicated towards formal circuit synthesis.- Interfacing HOL90 with a functional database query language.- Floating point verification in HOL.- Inductive definitions: Automation and application.- A formulation of TLA in Isabelle.- Formal verification of serial pipeline multipliers.- TkWinHOL: A tool for Window Inference in HOL.- Formal verification of counterflow pipeline architecture.- Deep embedding VHDL.- HOLCF: Higher order logic of computable functions.- A mechanized logic for secure key escrow protocol verification.- A new interface for HOL — Ideas, issues and implementation.- Very efficient conversions.- Recording and checking HOL proofs.- Formalization of planar graphs.- A hierarchical method for reasoning about distributed programming languages.