Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh,

Ø 0.0
0 Bewertungen
131,63 €

In 1996, it was christened anew as Theorem Pr- ing in Higher-Order Logics, TPHOLs for short, and was henceforth organizedas a conference. rst-order logic. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Jetzt bei Ebay: