Вы здесь
Murray N. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Foundation for Hybrid Knowledge Bases | 1999 | Lu J. J., Murray N. V., Rosenthal E. | Lecture Notes in Computer Science | 22.12.1999 | |||
| СТ | Efficient Execution of Programs with Static Semantics | 1995 | Becker G., Murray N. V. | SIGPLAN Notices | 06.05.1995 | |||
| СТ | Signed Formulas and Fuzzy Operator Logics | 1994 | Lu J. J., Murray N. V., Rosenthal E. | Lecture Notes in Artificial Intelligence | 05.11.1994 | |||
| СТ | Dissolution: Making Paths Vanish | 1993 | Murray N. V., Rosenthal E. | J. of the ACM | 13.09.1993 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Foundations of Intelligent Systems: Proc./15th International Symposium, ISMIS 2005. Saratoga Springs, NY, USA, May 2005 | 2005 | Lecture Notes in Artificial Intelligence |
|
30.08.2005 | |||
| СБ | Automated Reasoning with Analytic Tableaux and Related Methods: Proc./Intern. Conf., TABLEAUX 99. Saratoga Springs, NY, USA, June 1999 | 1999 | Lecture Notes in Artificial Intelligence |
|
19.06.1999 |