Symbolic Logic and Mechanical Theorem Proving /

Збережено в:

Бібліографічні деталі
Автор:	Chang, Ching-Liang (autor)
Інші автори:	Lee, Richard Char-Tung (autor)
Формат:	Книга
Мова:	Англійська
Предмети:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Будьте першим, хто залишить коментар!

Схожі ресурси