Вы здесь
Bouhoula A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specification and Proof in Membership Equational Logic | 1997 | Bouhoula A., Jouannaud J. -P., Meseguer J. | Lecture Notes in Computer Science | 16.05.1997 | |||
| СТ | Sufficient Completeness and Parametrized Proofs by Induction | 1994 | Bouhoula A. | Lecture Notes in Computer Science | 01.11.1994 | |||
| СТ | SPIKE, an Automatic Theorem Prover | 1992 | Bouhoula A., Kounalis E., Rusionwitch M. | Lecture Notes in Artificial Intelligence | 11.08.1992 |