Вы здесь
Hodas J. S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Efficient Resource Management for Linear Logic Proof Search | 1996 | Cervesato I., Hodas J. S., Pfenning F. | Lecture Notes in Artificial Intelligence | 17.04.1996 | |||
| СТ | Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language | 1992 | Hodas J. S. | Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming | 19.12.1994 | |||
| СТ | Logic Programming with Multiple Context Management Schemes | 1994 | Hodas J. S. | Lecture Notes in Artificial Intelligence | 01.07.1994 |