Вы здесь

Wenzel M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Isabelle/HOL: A Proof Assistant for Higner-Order Logic 2002 Nipkow T., Paulson L. C., Wenzel M. Lecture Notes in Computer Science 23.05.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009 2009 Lecture Notes in Computer Science
  1. Berghofer S.
  2. Nipkow T.
  3. Urban Ch.
  4. Wenzel M.
03.02.2010