Refine your search

Your search returned 738 results.

Sort
Results
61.
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. by Series: Lecture Notes in Computer Science ; 4646 | Lecture Notes in Computer Science ; 4646
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2007.

62.
63.
Rigid Flexibility [electronic resource] : The Logic of Intelligence / by Pei Wang. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q335 W36 2006.

64.
Logic in Reality [electronic resource] / by Joseph E. Brenner. by
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BC108 B74 2008.

65.
Logical and Relational Learning [electronic resource] / edited by Luc De Raedt. by Series: Cognitive Technologies
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: Q325.5 K34 2008.

66.
67.
68.
Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings / edited by Zoltán Ésik. by Series: Lecture Notes in Computer Science ; 4207
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 E85 2006.

69.
70.
Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4710
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.54 G46 2007.

71.
72.
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. by Series: Lecture Notes in Computer Science ; 5213
Edition: 1a ed.
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 K36 2008.

73.
74.
75.
Other minds / John Wisdom by
Edition: 2a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Basil Blackwell, 1956
Availability: Items available for reference: Biblioteca de la Facultad de Filosofía: Consulta (1)Call number: BD201 W57 1956.

76.
Symbolism and truth : An introduction to the theory of knowledge / Ralph Monroe Eaton by
Edition: 1a ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: United States of America: DOVER, 1964
Availability: Items available for reference: Biblioteca de la Facultad de Filosofía: Consulta (1)Call number: BD161 E38 1964.

77.
elements of mathematical logic / P. S. Novikov ; traducción Leo F. Boron ; prefacio y notas R. L. Goodstein by
Edition: 1a ed.
Material type: Text Text
Publication details: Edinburgh : Oliver & Boyd , 1964
Availability: Items available for reference: Biblioteca de la Facultad de Filosofía: Consulta (1)Call number: QA9 N68 1964.

78.
Introducción a la lógica / Raúl Gutiérrez Sáenz by
Edition: 8a ed.
Material type: Text Text
Publication details: México : Esfinge, 2005
Availability: Items available for loan: Biblioteca de la Facultad de Psicología (1)Call number: BC135 G88 2005. Biblioteca de la Unidad de Ciencias Ingeniería y Humanidades (2)Call number: BC59 G88 2005 , ...

79.
Conceptos y categorias : Ensayos filosóficos / Isaiah berlin ;Tr. Francisco González Aramburo by Series: Sección de obras de filosofía
Edition: 3a.reimp.
Material type: Text Text
Publication details: México : Fondo de Cultura Económica, c1983
Availability: Items available for loan: Biblioteca Campus Ciudad Hidalgo (1)Call number: B29 B47r2011 .

80.
El prisionero de la verdad : Bertrand Russell / Elisa Bonilla by Series: Viajeros del conocimiento
Edition: 1a ed.
Material type: Text Text; Literary form: Speeches
Publication details: México : Pangea, 1992
Availability: Items available for reference: Biblioteca de la Facultad de Filosofía: Consulta (2)Call number: B1201.R87 P75 1992, ...

Pages

Powered by Koha