izvor podataka: crosbi
!
Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database (CROSBI ID 26295)
Prilog u knjizi | izvorni znanstveni rad
Frank, Andrew ; Medak, Damir
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-x
Podaci o odgovornosti
Frank, Andrew ; Medak, Damir
engleski
Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database
*
spatio-temporal database, executable specifications, functional programming
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
291-306-x.
objavljeno
Podaci o knjizi
Gofer as used at GeoInfo (TU Vienna)
Frank, Andrew ; Haunold, Peter
Beč: Department of Geoinformation and Cartography, Vienna University of Technology
1997.
3-901716-12-2