Показ 1 - 1 результатів із 1 для пошуку 'Cartwright, Robert, 1949-', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    A practical formal semantic definition and verification system for TYPED LISP /
    Дисертація Книга
    за авторством Cartwright, Robert, 1949-
    Опубліковано 1976
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою