Executable Axiomatic Specification Using Functional Language -- Case Study: Ontology for a Spatio-Temporal Database (1997)

Cached

Download Links

by Andre U. Frank , Damir Medak
Citations:5 - 0 self