Опис документа:
| |
Шифр: |
6 |
Авт. знак: |
Kals |
Автор: | Kalsbeek M.B. |
Назва: | Meta-logics for logic programming |
Від. щодо назв.: |
Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam |
Серія: |
ILLC dissertation series 1995-13 |
Відповідальність: |
M.B. Kalsbeek; Universiteit van Amsterdam, Institute for logic, language and computation |
Видавництво: | [S. n.] |
Місто: | Amsterdam |
Рік: | 1995 |
Сторінок: | 150, [4] p. |
ББК: |
З973.2-047 |
ISBN: | 90-74795-37-4 |
Тип документу: |
Книга |
Пошук: заповніть хоча б одне з полів
|
|