Отображение 1 - 2 результаты of 2 для поиска 'Baader, Franz', время запроса: 0.01сек. Отмена результатов
  1. 1
    Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
    по Baader, Franz
    Опубликовано в: Springer e-books (2005)
    Полный текст
    Электронная книга
  2. 2
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    по Baader, Franz
    Опубликовано в: Springer e-books (2007)
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток