Qualitative spatial and temporal reasoning
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
London, U.K. : Hoboken, N.J. :
ISTE ; Wiley,
2012.
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Scientific argumentation in biology : 30 classroom activities /
: Sampson, Victor, 1974-
Հրապարակվել է: (2013)
: Sampson, Victor, 1974-
Հրապարակվել է: (2013)
Explanatory nonmonotonic reasoning
: Bochman, Alexander, 1955-
Հրապարակվել է: (2005)
: Bochman, Alexander, 1955-
Հրապարակվել է: (2005)
Spatial simulation exploring pattern and process /
: O'Sullivan, David, 1966-
Հրապարակվել է: (2013)
: O'Sullivan, David, 1966-
Հրապարակվել է: (2013)
Commonsense reasoning
: Mueller, Erik T.
Հրապարակվել է: (2006)
: Mueller, Erik T.
Հրապարակվել է: (2006)
Spatial statistics and spatio-temporal data covariance functions and directional properties /
: Sherman, Michael, 1963-
Հրապարակվել է: (2010)
: Sherman, Michael, 1963-
Հրապարակվել է: (2010)
Institution-independent model theory
: Diaconescu, Răzvan
Հրապարակվել է: (2008)
: Diaconescu, Răzvan
Հրապարակվել է: (2008)
Tracking reason proof, consequence, and truth /
: Azzouni, Jody
Հրապարակվել է: (2006)
: Azzouni, Jody
Հրապարակվել է: (2006)
Spatio-temporal approaches : geographic objects and change process /
: Mathian, Hélène, և այլն
Հրապարակվել է: (2014)
: Mathian, Hélène, և այլն
Հրապարակվել է: (2014)
Spatial capture-recapture
: Royle, J. Andrew
Հրապարակվել է: (2013)
: Royle, J. Andrew
Հրապարակվել է: (2013)
Statistics for spatial data /
: Cressie, Noel A. C.
Հրապարակվել է: (1993)
: Cressie, Noel A. C.
Հրապարակվել է: (1993)
Deducibility and decidability
: Gill, R. R. Rockingham, 1944-
Հրապարակվել է: (1990)
: Gill, R. R. Rockingham, 1944-
Հրապարակվել է: (1990)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
: Kupperman, Joel
Հրապարակվել է: (1966)
: Kupperman, Joel
Հրապարակվել է: (1966)
Intermediate logic
: Bostock, David
Հրապարակվել է: (1997)
: Bostock, David
Հրապարակվել է: (1997)
Foundation of abstract mathematics /
: Kurtz, David C.
Հրապարակվել է: (1992)
: Kurtz, David C.
Հրապարակվել է: (1992)
Mathematical logic
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
: Quine, W. V. (Willard Van Orman)
Հրապարակվել է: (1981)
In the light of logic
: Feferman, Solomon
Հրապարակվել է: (1998)
: Feferman, Solomon
Հրապարակվել է: (1998)
Publications 1929-1936 /
: Gödel, Kurt
Հրապարակվել է: (1986)
: Gödel, Kurt
Հրապարակվել է: (1986)
Foundations without foundationalism a case for second-order logic.
: Shapiro, Stewart, 1951-
Հրապարակվել է: (2000)
: Shapiro, Stewart, 1951-
Հրապարակվել է: (2000)
The elements of mathematical logic.
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
: Rosenbloom, Paul C.
Հրապարակվել է: (1950)
Logic with trees an introduction to symbolic logic /
: Howson, Colin
Հրապարակվել է: (1997)
: Howson, Colin
Հրապարակվել է: (1997)
Mathematical logic
: Chiswell, Ian, 1948-
Հրապարակվել է: (2007)
: Chiswell, Ian, 1948-
Հրապարակվել է: (2007)
Studies in logic
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Mathematical logic in the 20th century
Հրապարակվել է: (2003)
Հրապարակվել է: (2003)
Logical dynamics of information and interaction
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
: Benthem, J. F. A. K. van, 1949-
Հրապարակվել է: (2011)
Spatial analysis along networks statistical and computational methods /
: Okabe, Atsuyuki, 1945-
Հրապարակվել է: (2012)
: Okabe, Atsuyuki, 1945-
Հրապարակվել է: (2012)
Exotic smoothness and physics differential topology and spacetime models /
: Asselmeyer-Maluga, Torsten
Հրապարակվել է: (2007)
: Asselmeyer-Maluga, Torsten
Հրապարակվել է: (2007)
Symbolic logic syntax, semantics, and proof /
: Agler, David W., 1982-
Հրապարակվել է: (2013)
: Agler, David W., 1982-
Հրապարակվել է: (2013)
Proof and knowledge in mathematics
Հրապարակվել է: (1992)
Հրապարակվել է: (1992)
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
: Hopkins, Burt C.
Հրապարակվել է: (2011)
: Hopkins, Burt C.
Հրապարակվել է: (2011)
Philosophy of mathematics in the twentieth century : selected essays /
: Parsons, Charles, 1933-
Հրապարակվել է: (2014)
: Parsons, Charles, 1933-
Հրապարակվել է: (2014)
Formalism and beyond : on the nature of mathematical discourse /
Հրապարակվել է: (2014)
Հրապարակվել է: (2014)
Games, Norms and Reasons Logic at the Crossroads /
: van Benthem, Johan
Հրապարակվել է: (2011)
: van Benthem, Johan
Հրապարակվել է: (2011)
Return to reason
: Toulmin, Stephen, 1922-2009
Հրապարակվել է: (2001)
: Toulmin, Stephen, 1922-2009
Հրապարակվել է: (2001)
Prescriptive reasoning : essays on logic as the art of reasoning well /
: Epstein, Richard L.
Հրապարակվել է: (2013)
: Epstein, Richard L.
Հրապարակվել է: (2013)
The rhetoric of reason writing and the attractions of agrument /
: Crosswhite, James
Հրապարակվել է: (1996)
: Crosswhite, James
Հրապարակվել է: (1996)
Reasoning and formal logic : essays on logic as the art of reasoning well /
: Epstein, Richard L.
Հրապարակվել է: (2015)
: Epstein, Richard L.
Հրապարակվել է: (2015)
Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Հրապարակվել է: (2012)
Հրապարակվել է: (2012)
Constructive Negations and Paraconsistency
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
: Benthem, Johan
Հրապարակվել է: (2006)
: Benthem, Johan
Հրապարակվել է: (2006)
Paradox and paraconsistency conflict resolution in the abstract sciences /
: Woods, John
Հրապարակվել է: (2003)
: Woods, John
Հրապարակվել է: (2003)