Napredna pretraga

Pregled bibliografske jedinice broj: 67263

Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database


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.).
Vienna: Department of Geoinformation, 1997. str. 291-306


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

Grad
Vienna

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



POVEZANOST RADA


Projekt / tema
007151

Ustanove
Geodetski fakultet, Zagreb

Profili:

Avatar Url Damir Medak (autor)

Citiraj ovu publikaciju

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.).
Vienna: Department of Geoinformation, 1997. str. 291-306
Frank, A. & Medak, D. (1997) Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database. U: Frank, A. & Haunold, P. (ur.) Gofer as used at GeoInfo (TU Vienna). Vienna, Department of Geoinformation, str. 291-306.
@inbook{inbook, year = {1997}, pages = {291-306}, keywords = {spatio-temporal database, executable specifications, functional programming}, isbn = {3-901716-12-2}, title = {Executable axiomatic specification using functional language - Case study: Base ontology for a spatio-temporal database}, keyword = {spatio-temporal database, executable specifications, functional programming}, publisher = {Department of Geoinformation}, publisherplace = {Vienna} }