Книга Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion

Ванлін Лі

Код товару: 20307311

Паперова книга «Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion», автор Ванлін Лі - фото №1

Книга Tableau, Tableauresolution Und Tableaugraphresolution: Ein Neuer Weg Zur Automatischen Deduktion

Ванлін Лі

Код товару: 20307311

Формат

Мова книги

Видавництво

Рік видання

Категорія

Візуалізація даних та інформації Основи математики. Теорія чисел. Математична логіка Теорія інформації. Інформатика Теорія інформації

Характеристики

Автор

Ванлін Лі

Видавництво

Кількість сторінок

117

Відгуки

Виникли запитання? 0-800-335-425

Зв'язатися