Вы здесь
Fraus U.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Inductive Theorem Proving for Algebraic Specifications - TIP System User s Manual | 1994 | Fraus U. | Univ.Passau | 18.11.1994 | |||
| СТ | An Inductive Theorem Prover Based on Narrowing | 1992 | Fraus U., Hussmann H. | Lecture Notes in Artificial Intelligence | 11.08.1992 |