Qualitative spatial and temporal reasoning

Commonsense reasoning
von: Mueller, Erik T.
Veröffentlicht: (2006)

Commonsense reasoning
von: Mueller, Erik T.
Veröffentlicht: (2006)

Two-sorted metric temporal logics
von: Montanari, Angelo, et al.
Veröffentlicht: (1995)

The power of temporal proofs
von: Abadi, Martín 1963-
Veröffentlicht: (1988)

Commonsense reasoning
von: Mueller, Erik T.
Veröffentlicht: (2006)

Commonsense reasoning
von: Mueller, Erik T.
Veröffentlicht: (2006)

Regulae ad directionem ingenii
von: Descartes, René 1596-1650
Veröffentlicht: (1973)

Spatial statistics and modeling
von: Gaetan, Carlo, et al.
Veröffentlicht: (2010)

The use of logic in legal reasoning
von: Boasson, Charles
Veröffentlicht: (1966)

Statistical methods for spatio-temporal systems
Veröffentlicht: (2007)

Reasoning a textbook of elementary logic
von: Carmichael, Peter Archibald
Veröffentlicht: (1978)

Reasoning about theoretical entities
von: Forster, T. E.
Veröffentlicht: (2003)

Cognitive reasoning a formal approach ; with ... 13 tables
von: Anšakov, Oleg M., et al.
Veröffentlicht: (2010)

An introduction to practical formal methods using temporal logic
von: Fisher, Michael
Veröffentlicht: (2011)

Spatial and spatio-temporal data analysis
von: Dube, Jean
Veröffentlicht: (2014)

Inheritance theory an artificial intelligence approach
von: Al-Asady, Raad
Veröffentlicht: (1995)

Distance decay models in spatial interactions
von: Taylor, Peter J. 1944-
Veröffentlicht: (1975)

Distance decay models in spatial interactions
von: Taylor, Peter J. 1944-
Veröffentlicht: (1975)

Spatial simulation exploring pattern and process
von: O'Sullivan, David 1966-
Veröffentlicht: (2013)

Verification and synthesis of concurrent programs using Petri nets and temporal logic
von: Uchihira, Naoshi, et al.
Veröffentlicht: (1990)

The mathematical analysis of logic being an essay towards a calculus of deductive reasoning
von: Boole, George 1815-1864
Veröffentlicht: (1998)

Identification and informative sample size
von: Tigelaar, Harm H.
Veröffentlicht: (1982)

Quantitative analysis methods for substantive analysts
von: De Francesco, Henry F.
Veröffentlicht: (1975)

Realizability an introduction to its categorical side
von: Oosten, Jaap van
Veröffentlicht: (2008)

Spatial simulation exploring pattern and process
von: O'Sullivan, David 1966-
Veröffentlicht: (2013)

Spatial simulation exploring pattern and process
von: O'Sullivan, David 1966-, et al.
Veröffentlicht: (2013)

An algebraic axiomatization of linear logic models
von: Martí-Oliet, Narciso, et al.
Veröffentlicht: (1989)

Qualitative spatial reasoning theory and practice ; application to robot navigation
von: Escrig, M. Teresa, et al.
Veröffentlicht: (1998)

Nonstandard methods in Ramsey theory and combinatorial number theory
von: Di Nasso, Mauro 1963-, et al.
Veröffentlicht: (2019)

Gramática simbólica do português (um esboço)
von: Lopes, Óscar 1917-2013
Veröffentlicht: (1971)

Non-standard analysis
von: Robinson, Abraham
Veröffentlicht: (1966)

Mathematics and Plausible Reasoning, Volume 2 Logic, Symbolic and mathematical
von: Polya, G.
Veröffentlicht: (2021)

Algebra, logic, and combinatorics
Veröffentlicht: (2016)

On the logic of negation
von: Wright, Georg Henrik von 1916-2003
Veröffentlicht: (1959)

Logic a first course
von: Fairchild, David L.
Veröffentlicht: (1978)

La logica
von: Dalla Chiara, Maria Luisa 1938-
Veröffentlicht: (1974)