Pregled bibliografske jedinice broj: 67263
Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database
Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database // Gofer as used at GeoInfo (TU Vienna) / Frank, Andrew ; Haunold, Peter (ur.).
Beč: Department of Geoinformation and Cartography, Vienna University of Technology, 1997. str. 291-306
CROSBI ID: 67263 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database
Autori
Frank, Andrew ; Medak, Damir
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Gofer as used at GeoInfo (TU Vienna)
Urednik/ci
Frank, Andrew ; Haunold, Peter
Izdavač
Department of Geoinformation and Cartography, Vienna University of Technology
Grad
Beč
Godina
1997
Raspon stranica
291-306
ISBN
3-901716-12-2
Ključne riječi
spatio-temporal database, executable specifications, functional programming
Sažetak
*
Izvorni jezik
Engleski
Znanstvena područja
Geodezija
