Meta-logics for logic programming : academisch proefschrift /
Hlavní autor: |
Kalsbeek, Marianne Baukje
(
Autor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Amsterdam :
Universiteit van Amsterdam,
1995.
|
Edice: |
ILLC Dissertation Series ;
1995-13 |
Předmět: | |