|
61.
|
Handbook of Spatial Logics
: [electronic resource] /
by Aiello, Marco [editor.] | Pratt-Hartmann, Ian [editor.] | Benthem, Johan Van [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 1058 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
62.
|
Dynamic Epistemic Logic
: [electronic resource] /
by Ditmarsch, Hans van [author.] | Hoek, Wiebe van der [author.] | Kooi, Barteld [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 296 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
63.
|
Induction, Algorithmic Learning Theory, and Philosophy
: [electronic resource] /
by Friend, Michèle [editor.] | Goethe, Norma B [editor.] | Harizanov, Valentina S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 290 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
64.
|
Formal Ontology and Conceptual Realism
: [electronic resource] /
by Cocchiarella, Nino B [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 332 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
65.
|
Handbook of Philosophical Logic
: [electronic resource] /
by Gabbay, D.M [editor.] | Guenthner, F [editor.] | SpringerLink (Online service). Edition: 2nd Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 345 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
66.
|
Information and Knowledge
: A Constructive Type-theoretical Approach /
: [electronic resource] :
by Primiero, Giuseppe [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 208 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
67.
|
Modalities and Multimodalities
: With the assistance and collaboration of Juliana Bueno-Soler /
: [electronic resource] :
by Carnielli, Walter [author.] | Pizzi, Claudio [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 304 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
68.
|
Logica Universalis
: Towards a General Theory of Logic /
: [electronic resource] :
by Beziau, Jean-Yves [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 228 p. online resource.Publisher: Basel : Birkhäuser Basel, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
69.
|
Reconfigurable Computing
: Accelerating Computation with Field-Programmable Gate Arrays /
: [electronic resource] :
by Gokhale, Maya [author.] | Graham, Paul S [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 238 p. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
70.
|
Discrete, Continuous, and Hybrid Petri Nets
: [electronic resource] /
by David, Ren� [author.1] | Alla, Hassane [author.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 526 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
71.
|
M-Solid Varieties of Algebras
: [electronic resource] /
by Koppitz, J [author.] | Denecke, K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 342 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
72.
|
Mathematical Problems from Applied Logic I
: Logics for the XXIst Century /
: [electronic resource] :
by Gabbay, Dov M [editor.1] | Goncharov, Sergei S [editor.1] | Zakharyaschev, Michael [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXVIII, 348 p. 50 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
73.
|
Notes on Set Theory
: [electronic resource] /
by Moschovakis, Yiannis [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 278 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
74.
|
Modern Formal Methods and Applications
: [electronic resource] /
by Gabbar, Hossam A [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIII, 197 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
75.
|
A Roadmap for Formal Property Verification
: [electronic resource] /
by DasGupta, Pallab [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
76.
|
Decision Theory and Multi-Agent Planning
: [electronic resource] /
by Riccia, Giacomo Della [editor.] | Dubois, Didier [editor.] | Kruse, Rudolf [editor.] | Lenz, Hanz-Joachim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 198 p. online resource.Publisher: Vienna : Springer Vienna, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
77.
|
Ernst Zermelo
: An Approach to His Life and Work /
: [electronic resource] :
by Ebbinghaus, Heinz-Dieter [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 356 p. 42 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
78.
|
Logica Universalis
: Towards a General Theory of Logic /
: [electronic resource] :
by Beziau, Jean-Yves [editor.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 246 p. online resource.Publisher: Basel : Birkhäuser Basel, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
79.
|
Logic for Computer Scientists
: [electronic resource] /
by Schöning, Uwe [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 168 p. online resource.Publisher: Boston, MA : Birkhäuser Boston, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
80.
|
Analysis and Synthesis of Logics
: How to Cut and Paste Reasoning Systems /
: [electronic resource] :
by Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 602 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|