Conference paper

ZBOŘIL František ml.. The Module System in the Godel Logical Programming Language. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 270-272. ISBN 80-7204-115-X.
Publication language:czech
Original title:The Module System in the Godel Logical Programming Language
Title (en):The Module System in the Godel Logical Programming Language
Pages:270-272
Proceedings:Sborník prací studentů a doktorandů
Conference:Student Conference STC2000 FEI VUT Brno
Place:Brno, CZ
Year:2000
ISBN:80-7204-115-X
Publisher:Akademické nakladatelství CERM
Keywords
Declarative Systems, Module Approach
Annotation
The charge of the text is an introduction of a module based approach in the Goedel language. First the language is introducted along with the declarations and inference principles and then the modules building and their usage is described.
BibTeX:
@INPROCEEDINGS{
   author = {ml. Franti{\v{s}}ek Zbo{\v{r}}il},
   title = {The Module System in the Godel Logical Programming Language},
   pages = {270--272},
   booktitle = {Sborn{\'{i}}k prac{\'{i}} student{\r{u}} a doktorand{\r{u}}},
   year = {2000},
   location = {Brno, CZ},
   publisher = {Akademick{\'{e}} nakladatelstv{\'{i}} CERM},
   ISBN = {80-7204-115-X},
   language = {czech},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6576}
}

Your IPv4 address: 54.91.171.137
Switch to IPv6 connection

DNSSEC [dnssec]