Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
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

Povezanost rada

Geodezija