Imagen de Portada

Handbook of Spatial Logics

Guardado en:

Autor Principal:	Aiello, Marco.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Pratt-Hartmann, Ian., Benthem, Johan.
Formato:	Electrónico
Idioma:	English
Publicado:	Dordrecht : Springer, 2007.
Materias:	Philosophy (General) Science > Philosophy Computer science Artificial intelligence Geometry Logic, Symbolic and mathematical Topology Philosophy Philosophy of Science Mathematical Logic and Foundations Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics)
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006)

Dynamic Epistemic Logic
por: Ditmarsch, Hans.
Publicado: (2007)

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
por: Duparc, Jacques.
Publicado: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings /
por: Ésik, Zoltán.
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings /
por: Ong, Luke.
Publicado: (2005)

Handbook of Philosophical Logic
por: Gabbay, D.M.
Publicado: (2007)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
por: Middeldorp, Aart.
Publicado: (2005)

The Arché Papers on the Mathematics of Abstraction
por: Cook, Roy T.
Publicado: (2007)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
por: Kerkhove, Bart.
Publicado: (2007)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
por: Galavotti, Maria Carla.
Publicado: (2006)

Logic : a foundation for computer science /
por: Sperschneider, V.
Publicado: (1991)

Logic-based artificial intelligence /
Publicado: (2000)

Epistemic logic for AI and computer science /
por: Meyer, John-Jules Ch.
Publicado: (1995)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
por: Hutter, Dieter.
Publicado: (2005)

Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings /
por: Fisher, Michael.
Publicado: (2006)

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings /
por: Goble, Lou.
Publicado: (2006)

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
por: Baral, Chitta.
Publicado: (2007)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings /
por: Baral, Chitta.
Publicado: (2005)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
por: Devidi, David.
Publicado: (2006)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2007)

Logica Universalis Towards a General Theory of Logic /
por: Beziau, Jean-Yves.
Publicado: (2005)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings /
por: Miguel, Ian.
Publicado: (2007)

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings /
por: Zucker, Jean-Daniel.
Publicado: (2005)

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings /
por: Sakakibara, Yasubumi.
Publicado: (2006)

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
por: Artemov, Sergei N.
Publicado: (2007)

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings /
por: Prade, Henri.
Publicado: (2007)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
por: Mellouli, Khaled.
Publicado: (2007)

Agent Technology from a Formal Perspective
por: Rouff, Christopher A.
Publicado: (2006)

Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers /
por: Kern-Isberner, Gabriele.
Publicado: (2005)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings /
por: Godo, Lluís.
Publicado: (2005)

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION /
por: ALISEDA, ATOCHA.
Publicado: (2006)

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007)

Finite Model Theory
por: Ebbinghaus, Heinz-Dieter.
Publicado: (2006)

Notes on Set Theory
por: Moschovakis, Yiannis.
Publicado: (2006)

Visualization, Explanation and Reasoning Styles in Mathematics
por: Mancosu, Paolo.
Publicado: (2005)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
por: Cate, Balder D.
Publicado: (2007)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
por: Schneider, Klaus.
Publicado: (2007)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /
por: Hurd, Joe.
Publicado: (2005)