Computation issues in calculi of partial inductive definitions /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kreuger, Per (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Göteborg : Department of Computing Science, 1995.
Témata:
Popis
Fyzický popis:xii, 208 s.
ISBN:91-7197-113-0