Formal Specification of Geographic Data Processing Requirements.
Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements.
ICDE 1986: 434-446@inproceedings{DBLP:conf/icde/Roman86,
author = {Gruia-Catalin Roman},
title = {Formal Specification of Geographic Data Processing Requirements},
booktitle = {Proceedings of the Second International Conference on Data Engineering,
February 5-7, 1986, Los Angeles, California, USA},
publisher = {IEEE Computer Society},
year = {1986},
isbn = {0-8186-0655-X},
pages = {434-446},
ee = {db/conf/icde/Roman86.html},
crossref = {DBLP:conf/icde/86},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
Copyright © 1986 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
Printed Edition
Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA.
IEEE Computer Society 1986, ISBN 0-8186-0655-X
Contents
References
- [CLIF83]
- James Clifford, David Scott Warren:
Formal Semantics for Time in Databases.
ACM Trans. Database Syst. 8(2): 214-254(1983)

- [LEE72]
- Richard C. T. Lee:
Fuzzy Logic and the Resolution Principle.
J. ACM 19(1): 109-119(1972)

- [MINK78]
- Jack Minker:
An Experimental Relational Data Base System Based on Logic.
Logic and Data Bases 1977: 107-147

- [NAGY79]
- George Nagy, Sharad Wagle:
Geographic Data Processing.
ACM Comput. Surv. 11(2): 139-181(1979)

- [RESC71]
- ...
- [SILV77]
- ...
- [TSIC82]
- ...
- [ZOBR81]
- Albert L. Zobrist, George Nagy:
Pictorial Information Processing of Landsat Data for Geographic Analysis.
IEEE Computer 14(11): 34-41(1981)

Last update Fri Sep 14 17:05:03 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page