|
|
1061.
|
Combinatorics and Graph Theory
: [electronic resource] /
by Harris, John [author.] | Hirst, Jeffry L [author.] | Mossinghoff, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XV, 381 p. online resource.Publisher: New York, NY : Springer New York, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1062.
|
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).
|
|
|
1063.
|
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).
|
|
|
1064.
|
Field Arithmetic
: [electronic resource] /
by Fried, Michael D [author.] | Jarden, Moshe [author.] | SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 792 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1065.
|
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
: [electronic resource] /
by Kohlenbach, Ulrich [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 536 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1066.
|
Completeness Theory for Propositional Logics
: [electronic resource] /
by Pogorzelski, Witold A [author.] | Wojtylak, Piotr [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 178 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1067.
|
Institution-independent Model Theory
: [electronic resource] /
by Diaconescu, Răzvan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 376 p. online resource.Publisher: Basel : Birkhäuser Basel, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1068.
|
Guida alla teoria degli insiemi
: [electronic resource] /
by Lolli, Gabriele [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 148 pagg. online resource.Publisher: Milano : Springer Milan, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
1069.
|
Theoretical concepts and hypothetico-inductive inference,
by Niiniluoto, Ilkka. Tuomela, Raimo | Tuomela, Raimo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 264 p.Publisher: Dordrecht, Holland Boston D. Reidel Pub. Co. 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 161.018 N578t] (1).
|
|
|
1070.
|
Logic at Botik '89 : proceedings
by Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) | Meyer, Albert R., ed | Taitslin, M. A., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 289 p.Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.363] (1).
|
|
|
1071.
|
Lecture notes in computer science (v.425) Proceedings
by Algebraic Logic and Universal Algebra in Computer Science Conference Ames, Iowa) (1988 : | Bergman, C. H | Maddux, R. D | Pigozzi, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 292 p.Publisher: New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.425] (1).
|
|
|
1072.
|
Logic as a tool
: a guide to formal logical reasoning
by Goranko, Valentin. Description: xxii, 358p.Publisher: Chichester Wiley 2016Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G65l] (1).
|
|
|
1073.
|
Lecture notes in artificial intelligence [v.543] nonmonotonic and inductive logic
by Dix, J [ed.] | Jantke, K. P, [ed.] | Schmitt, P. H [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 243p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.543] (1).
|
|
|
1074.
|
Lecture notes in artificial intelligence [v.535] fundamentals of artificial intelligence research
by Jorrand, Ph. [ed.] | Kelemen, Jozef [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 255p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.535] (1).
|
|
|
1075.
|
Lecture notes in artificial intelligence [v.418] sorts and types in artificial intelligence
by Siekmann, J [ed.] | Blasius, K. H, [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 307p.Publisher: Verlag Springer 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.418] (1).
|
|
|
1076.
|
Lecture notes in artificial intelligence [v.518] Instantiation theory on the foundations of automated deduction
by Wliiliams, J. G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 133p.Publisher: Verlag Springer 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.518] (1).
|
|
|
1077.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
|
|
1078.
|
Computational intelligence for modelling, control & automation
: evolutionary computation & fuzzy logic for intelligent control, knowledge acquisition & information retrieval
by Mohammadian, Masoud [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 533p.Publisher: Amsterdam IOS Press 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 In8] (1).
|
|
|
1079.
|
Quantum logic
by Mittelstaedt, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 149p.Publisher: Holland D. Reidel Publishing 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 M697q] (1).
|
|
|
1080.
|
Deontic logic
: introductory and systematic readings
by Hilpinen, Risto [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 183p.Publisher: Boston D. Reidel Publishing Co. 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H561] (1).
|
