Отображение 1 - 1 результаты of 1 для поиска 'International Conference on Automated Deduction Kaiserslautern, Germany', время запроса: 0.01сек. Отмена результатов
  1. 1
    Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /
    Материалы конференции ‌
    Опубликовано 1990
    “...International Conference on Automated Deduction Kaiserslautern, Germany...”
    Добавить в Избранное
    Сохранить в:
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email