„Interactive Theorem Proving“

Suchergebnisse

83 Treffer

• Interactive Theorem Proving – Preface of the Special Issue
  Klein, Gerwin ; Gamboa, Ruben
• Interactive theorem proving – first international conference ; proceedings
  Kaufmann, Matt 2010 Springer
• Interactive Theorem Proving – 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
  Klein, Gerwin ; Gamboa, Ruben 2014 Springer International Publishing