Your search returned 33 results.

Results
	21.	A Geometry of Approximation [electronic resource] : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns / edited by Piero Pagliani, Mihir Chakraborty. by Pagliani, Piero Chakraborty, Mihir SpringerLink (Online service) Series: Trends in Logic, Studia Logica Library ; 27 Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Netherlands, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 P34 2008. Place hold Add to cart (remove)
	22.	Laws of Nature [electronic resource] / by Peter Mittelstaedt, Paul A. Weingartner. by Mittelstaedt, Peter Weingartner, Paul A SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: K460 M58 2005. Place hold Add to cart (remove)
	23.	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 Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M Gouveia, Paula Sernadas, Cristina SpringerLink (Online service) Series: Applied Logic Series ; 35 Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science+Business Media B.V., 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 C37 2008. Place hold Add to cart (remove)
	24.	Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah. by Marques-Silva, João Sakallah, Karem A SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4501 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley. by Poernomo, Iman Hafiz Wirsing, Martin Crossley, John Newsome SpringerLink (Online service) Series: Monographs in Computer Science Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.54 .P64 2005. Place hold Add to cart (remove)
	26.	A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. by Kamareddine, Fairouz Laan, Twan Nederpelt, Rob SpringerLink (Online service) Series: Applied Logic Series ; 29 Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer Science + Business Media, Inc., 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 K36 2005. Place hold Add to cart (remove)
	27.	Finite Model Theory and Its Applications [electronic resource] / by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich Kolaitis, Phokion G Libkin, Leonid Marx, Maarten Spencer, Joel Vardi, Moshe Y Venema, Yde Weinstein, Scott SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.7 G73 2007. Place hold Add to cart (remove)
	28.	Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by Beziau, Jean-Yves SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Basel : Birkhäuser Verlag, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 B49 2005. Place hold Add to cart (remove)
	29.	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg Grohe, Martin SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 F58 2006. Place hold Add to cart (remove)
	30.	Handbook of Spatial Logics [electronic resource] / edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem. by Aiello, Marco Pratt-Hartmann, Ian Benthem, Johan SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 A34 2007. Place hold Add to cart (remove)
	31.	Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis SpringerLink (Online service) Series: Undergraduate Texts in Mathematics Edition: Second Edition. Material type: Computer file; Format: electronic Publication details: New York, NY : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA248 M67 2006. Place hold Add to cart (remove)
	32.	Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro. by Fiadeiro, José Luiz SpringerLink (Online service) Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.D47 F53 2005. Place hold Add to cart (remove)
	33.	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M Goncharov, Sergei S Zakharyaschev, Michael SpringerLink (Online service) Series: International Mathematical Series ; 4 Material type: Computer file; Format: electronic Publication details: New York, NY : Springer Science+Business Media, Inc., 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9 G33 2006. Place hold Add to cart (remove)

Powered by Koha