Результати пошуку - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany

  • Показ 1 - 2 результатів із 2
Уточнити результати
  1. 1
    Зображення обкладинки

    Proof technology and computation

    Опубліковано 2006
    “...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс Матеріали конференцій eКнига

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Proof technology and computation

    Опубліковано 2006
    “...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
    An electronic book accessible through the World Wide Web; click to view
    Електронний ресурс Матеріали конференцій eКнига

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: