Вы здесь
Bsaies K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures | 2004 | Alexandre F., Bsaies K., Domba M. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 | ||
| СТ | Implementing the Synthesis of Properties in Unfold/Fold Transformations | 1994 | Bsaies K. | Lecture Notes in Computer Science | 13.10.1994 | |||
| СТ | Spes: A System for Logic Program Transformation | 1992 | Alexandre F., Bsaies K., Finance J. -P., Quere A. | Lecture Notes in Artificial Intelligence | 11.08.1992 |