Вы здесь
Nieuwenhuis R.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | On Narrowing, Refutation Proofs and Constraints | 1995 | Nieuwenhuis R. | Lecture Notes in Computer Science | 27.04.1995 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Rewriting Techniques and Applications: Proc./14th Intern. Conf., RTA 2003, Valencia, Spain, June 2003 | 2003 | Lecture Notes in Computer Science |
|
26.06.2003 | |||
СБ | Logic for Programming, Artificial Intelligence, and Reasoning: Proc./8th Intern. Conf., LPAR 2001, Havana, Cuba, December 2001 | 2001 | Lecture Notes in Artificial Intelligence |
|
11.01.2002 | |||
СБ | Automated Deduction - CADE-20: Proc./20th International Conference on Automated Deduction. Tallinn, Estonia, July 2005 | 2005 | Lecture Notes in Artificial Intelligence |
|
26.10.2005 |