Вы здесь
Lai C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Assertion with Constraints for CLP Debugging | 2000 | Lai C. | Lecture Notes in Computer Science | 16.11.2000 | |||
| СТ | Using Constraints in Local Proofs for CLP Debugging | 1999 | Lai C. | Lecture Notes in Computer Science | 16.02.1999 |