|
|
21.
|
Induction, Algorithmic Learning Theory, and Philosophy [electronic resource] / edited by Michèle Friend, Norma B. Goethe, Valentina S. Harizanov.
by Friend, Michèle | Goethe, Norma B | Harizanov, Valentina S | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
22.
|
Information and Knowledge [electronic resource] : A Constructive Type-theoretical Approach / by Giuseppe Primiero.
by Primiero, Giuseppe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
23.
|
Formal Ontology and Conceptual Realism [electronic resource] / by Nino B. Cocchiarella.
by Cocchiarella, Nino B | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
24.
|
Handbook of Philosophical Logic [electronic resource] / edited by D.M. Gabbay, F. Guenthner.
by Gabbay, D.M | Guenthner, F | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2007Online access: Click here to access online Availability: No items available
|
|
|
25.
|
Robustness and Usability in Modern Design Flows [electronic resource] / by Görschwin Fey, Rolf Drechsler.
by Fey, Görschwin | Drechsler, Rolf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
26.
|
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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
27.
|
Ingredients for Successful System Level Design Methodology [electronic resource] / by Hiren D. Patel, Sandeep K. Shukla.
by Patel, Hiren D | Shukla, Sandeep K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
28.
|
Modalities and Multimodalities [electronic resource] : With the assistance and collaboration of Juliana Bueno-Soler / by Walter Carnielli, Claudio Pizzi.
by Carnielli, Walter | Pizzi, Claudio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
|
|
|
29.
|
Towards Mathematical Philosophy [electronic resource] : Papers from the Studia Logica conference Trends in Logic IV / edited by David Makinson, Jacek Malinowski, Heinrich Wansing.
by Makinson, David | Malinowski, Jacek | Wansing, Heinrich | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
30.
|
Games: Unifying Logic, Language, and Philosophy [electronic resource] / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo.
by Majer, Ondrej | Pietarinen, Ahti-Veikko | Tulenheimo, Tero | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
31.
|
Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla.
by Ravi, S. S | Shukla, Sandeep K | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available
|
|
|
32.
|
Programming Sudoku [electronic resource] / by Wei-Meng Lee.
by Lee, Wei-Meng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berkeley, CA : Apress, 2006Online access: Click here to access online Availability: No items available
|
|
|
33.
|
Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada.
by Tabuada, Paulo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available
|
|
|
34.
|
Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou.
by Triantaphyllou, Evangelos | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
35.
|
Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
by Dastani, Mehdi | Hindriks, Koen V | Meyer, John-Jules Charles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2010Online access: Click here to access online Availability: No items available
|
|
|
36.
|
Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction / by Alexander Prestel, Charles N. Delzell.
by Prestel, Alexander | Delzell, Charles N | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
|
37.
|
Computer Science [electronic resource] : The Hardware, Software and Heart of It / edited by Edward K. Blum, Alfred V. Aho.
by Blum, Edward K | Aho, Alfred V | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available
|
|
|
38.
|
Constructing Correct Software [electronic resource] / by John Cooke.
by Cooke, John | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2005Online access: Click here to access online Availability: No items available
|
|
|
39.
|
Theoretical Introduction to Programming [electronic resource] / by Bruce Mills.
by Mills, Bruce | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
|
|
40.
|
Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears.
by Rouff, Christopher A | Hinchey, Michael | Rash, James | Truszkowski, Walter | Gordon-Spears, Diana | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2006Online access: Click here to access online Availability: No items available
|
