Вы здесь

Heuerding A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Propositional Logics on the Computer 1995 Heuerding A., Jager G., Schwendimann S., Seyfried M. Lecture Notes in Artificial Intelligence 02.06.1995