Learning Search Control Knowledge for Equational Deduction (книга)
Learning Search Control Knowledge for Equational Deduction | |
Автор: | S. Schulz |
---|---|
Оригинал издан: | ???? |
«Learning Search Control Knowledge for Equational Deduction» — книга ???? года.
Содержание |
Содержание
От издателя
«…»