Отображение 1 - 3 результаты of 3 для поиска 'Pfenning, Frank', время запроса: 0.02сек. Отмена результатов
  1. 1
    Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
    по Pfenning, Frank
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
  2. 2
    Term Rewriting and Applications (vol. # 4098) 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    по Pfenning, Frank
    Опубликовано в: Springer e-books (2006)
    Полный текст
    Электронная книга
  3. 3
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Другие авторы: “...Pfenning, Frank...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток