Languages
Harrison, John.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Metropolitan regions, planning and governance
by:
Galland, Daniel.; Harrison, John.; SpringerLink (Online service); Zimmermann, Karsten.
(Electronic resources)
Theorem proving in higher order logics13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
by:
(1998 :); Aagaard, Mark.; Harrison, John.; SpringerLink (Online service)
(Electronic resources)
Computer Science -- Theory and ApplicationsFirst International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /
by:
(1998 :); Grigoriev, Dima.; Harrison, John.; Hirsch, Edward A.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computing Methodologies.
Theory of Computation.
Local government.
Bioinformatics.
Mathematics of Computing.
City planning.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Automatic theorem proving
Public Administration.
Metropolitan areas.
Urban Geography / Urbanism (inc. megacities, cities, towns)
Governance and Government.
Computer science
Computer Science.
Urban Studies/Sociology.