-
3
-
-
0018005935
-
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
-
Backus J (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21:613-641
-
(1978)
Communications of the ACM
, vol.21
, pp. 613-641
-
-
Backus, J.1
-
5
-
-
84958038174
-
Internal vs. external spatial information and cultural emergence in a self-organising city
-
Frank AU, Kuhn W (eds) Spatial information theory - A theoretical basis for GIS. Int. Conference COSIT'95. Springer-Verlag, Berlin, Heidelberg New York
-
Benenson I, Portugali J (1995) Internal vs. external spatial information and cultural emergence in a self-organising city. In: Frank AU, Kuhn W (eds) Spatial information theory - A theoretical basis for GIS. Int. Conference COSIT'95. LNCS 988:431-441, Springer-Verlag, Berlin, Heidelberg New York
-
(1995)
LNCS
, vol.988
, pp. 431-441
-
-
Benenson, I.1
Portugali, J.2
-
7
-
-
0342965972
-
-
First Canadian Mathematical Congress, Toronto University Press
-
Birkhoff G (1945) Universal algebra. First Canadian Mathematical Congress, Toronto University Press
-
(1945)
Universal Algebra
-
-
Birkhoff, G.1
-
10
-
-
84957632179
-
One step up the abstraction ladder: Combining algebras - From functional pieces to a whole
-
Freksa C, Mark DM (eds) Spatial Information Theory - Cognitive and Computational Foundations of Geographic Information Science. Int. Conference COSIT'99. Springer, Berlin Heidelberg New York
-
Frank AU (1999) One step up the abstraction ladder: Combining algebras - from functional pieces to a whole. In: Freksa C, Mark DM (eds) Spatial Information Theory - Cognitive and Computational Foundations of Geographic Information Science. Int. Conference COSIT'99. LNCS 1661:95-107, Springer, Berlin Heidelberg New York
-
(1999)
LNCS
, vol.1661
, pp. 95-107
-
-
Frank, A.U.1
-
11
-
-
0342965971
-
-
to appear International Workshop on Maps and Diagrammatical Representations of the Environment, Hamburg, Germany
-
Frank AU (to appear) Communication with maps: A formalized model. International Workshop on Maps and Diagrammatical Representations of the Environment, Hamburg, Germany
-
Communication with Maps: a Formalized Model
-
-
Frank, A.U.1
-
13
-
-
0003722805
-
-
MIT Press, Cambridge, MA
-
Gopnik A, Meltzoff AN (1997) Words, thoughts, and theories. MIT Press, Cambridge, MA
-
(1997)
Words, Thoughts, and Theories
-
-
Gopnik, A.1
Meltzoff, A.N.2
-
14
-
-
0003850759
-
-
University of Syracuse Press, Syracuse, NY
-
Gould P (1999) Becoming a geographer. University of Syracuse Press, Syracuse, NY
-
(1999)
Becoming a Geographer
-
-
Gould, P.1
-
16
-
-
0342531726
-
-
Mark DM, Frank AU, Egenhofer MJ et al. (eds) National Center for Geographic Information and Analysis, Goleta, CA
-
Herring JR (1989) The category model of spatial paradigms. Languages of Spatial Relations: NCGIA Initiative 2 Specialist Meeting Report. In: Mark DM, Frank AU, Egenhofer MJ et al. (eds) National Center for Geographic Information and Analysis, Goleta, CA, pp. 47-51
-
(1989)
The Category Model of Spatial Paradigms. Languages of Spatial Relations: NCGIA Initiative 2 Specialist Meeting Report
, pp. 47-51
-
-
Herring, J.R.1
-
17
-
-
0342965969
-
Progress toward interoperability and a geospatial infrastructure at the open GIS consortium
-
Budapest. European Commission, DG III
-
Kottman C (1998) Progress toward interoperability and a geospatial infrastructure at the open GIS consortium. 4th EC-GIS Workshop, Budapest. European Commission, DG III
-
(1998)
4th EC-GIS Workshop
-
-
Kottman, C.1
-
18
-
-
37349044608
-
Circumscription - A form of non-monotonic reasoning
-
McCarthy J (1980) Circumscription - A form of non-monotonic reasoning. Artificial Intelligence 13:27-39
-
(1980)
Artificial Intelligence
, vol.13
, pp. 27-39
-
-
McCarthy, J.1
-
19
-
-
0003184673
-
The proposed standard for digital cartographic data
-
Morrison J (1988) The proposed standard for digital cartographic data. American Cartographer 15(1):9-140
-
(1988)
American Cartographer
, vol.15
, Issue.1
, pp. 9-140
-
-
Morrison, J.1
-
25
-
-
0343401186
-
Knowledge in action: Logical foundations for describing and implementing dynamical systems
-
in preparation Ruth M, Hannon BM (eds.) Springer-Verlag, New York
-
Reiter R (in preparation) Knowledge in action: Logical foundations for describing and implementing dynamical systems Ruth M, Hannon BM (eds.) (1997) Modeling dynamic economic systems. Springer-Verlag, New York
-
(1997)
Modeling Dynamic Economic Systems
-
-
Reiter, R.1
-
28
-
-
0343836929
-
-
Santa Fé Institute, New Mexico
-
Swarm Development Group (1999) Reference guide for Swarm 2.0.1. Santa Fé Institute, New Mexico. Available from: http://www.santafe.edu/projects/swarm/swarmdocs/refbook/refbook.html
-
(1999)
Reference Guide for Swarm 2.0.1
-
-
Group, S.D.1
-
32
-
-
84944106308
-
Theorems for free! In: Functional programming languages and computer architecture
-
London. ACM
-
Wadler P (1989) Theorems for free! In: Functional programming languages and computer architecture. 4th Int. Conference FPCA, London. ACM, pp 347-359
-
(1989)
4th Int. Conference FPCA
, pp. 347-359
-
-
Wadler, P.1
|