Вы здесь
Bezem M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Logic Programming and PROLOG | 1988 | Bezem M. | CWI Quarterly | 22.06.1995 | |||
| СТ | A Realization of the Negative Interpretation of the Axiom of Choice | 1995 | Berardi S., Bezem M., Coquand T. | Lecture Notes in Computer Science | 14.04.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Science Logic: Proc./10th Intern. Workshop, CSL 96, Annual Conf. of the EACSL. Utrecht, The Netherlands, September 1996 | 1997 | Lecture Notes in Computer Science |
|
18.07.1997 | |||
| СБ | Typed Lambda Calculi and Applications: Proc./Intern. Conf. on Typed Lambda Calculi and Applications, TLCA 93. March 1993, Utrecht, The Netherlands | 1993 | Lecture Notes in Computer Science |
|
06.04.1993 |