Издательство MIT Press

Список источников > Нехудожественная литература > Научная и техническая литература > Академическая литература зарубежных издательств > Издательство Wiley > Издательство MIT Press

Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
Автор: L A Wallen
Год: 1990
Издание: Москва
Страниц: 260
ISBN: 9780262231442
Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc
Добавлено: 2017-05-26 13:04:03

Похожие книги

Источник: L A Wallen, Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc L A WallenAutomated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc Источник: International Conference on Automated Deduction 1998 Lindau Bavaria, Claude Kirchner, H.Kirchner, Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421) International Conference on Automated Deduction 1998 Lindau Bavaria, Claude Kirchner, H.KirchnerAutomated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : Proceedings (Lecture Notes in Computer Science, 1421) Источник: Pa International Conference on Automated Deduction 2000 Pittsburgh, David A.McAllester, Automated Deduction - Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000 : Proceedings (Lecture Notes in Artificial Intelligence) Pa International Conference on Automated Deduction 2000 Pittsburgh, David A.McAllesterAutomated Deduction - Cade-17: 17th International Conference on Automated Deduction, Pittsburgh, Pa, Usa, June 2000 : Proceedings (Lecture Notes in Artificial Intelligence)

Видео о книгах: