Your search returned 23 results.

Sort
Results
1.
Logic for Computer Scientists [electronic resource] / by Uwe Schöning. by Series: Progress in Computer Science and Applied Logic (PCS) ; 8
Material type: Computer file Computer file; Format: electronic
Publication details: Boston, MA : Birkhäuser Boston, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 S36 2008.

2.
Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi. by Series: Logic, Epistemology, and the Unity of Science ; 12
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: BC199.M6 C37 2008.

3.
4.
5.
Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Series: Lecture Notes in Computer Science ; 2605
Material type: Computer file Computer file; Format: electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 H88 2005.

6.
7.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Edition: Second Edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2007.

8.
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. by Series: Lecture Notes in Computer Science ; 4514
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: QA75.5 A78 2007.

9.
10.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Material type: Computer file Computer file; Format: electronic
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA201 S78 2008 .

11.
Institution-independent Model Theory [electronic resource] / by Răzvan Diaconescu. by Series: Studies in Universal Logic
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag AG, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 D53 2008 .

12.
Finite Model Theory [electronic resource] / by Heinz-Dieter Ebbinghaus, Jörg Flum. by Series: Springer Monographs in Mathematics
Edition: Second Revised and Enlarged Edition 1999.
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: QA9.7 E23 2006.

13.
14.
Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero. by Series: Logic, Epistemology, and the Unity of Science ; 10
Material type: Computer file Computer file; Format: electronic
Publication details: Dordrecht : Springer Netherlands, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: BD161 P75 2008 .

15.
Ernst Zermelo [electronic resource] : An Approach to His Life and Work / by Heinz-Dieter Ebbinghaus. by
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: QA29.Z47 E23 2007.

16.
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Series: Applied Logic Series ; 35
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: QA9 C37 2008.

17.
18.
19.
Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by
Material type: Computer file Computer file; Format: electronic
Publication details: Basel : Birkhäuser Verlag, 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2005.

20.
Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Series: Texts in Theoretical Computer Science. An EATCS Series
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: QA267.7 F58 2006.

Pages

Powered by Koha