|
|
61.
|
Cambridge and Vienna
: Frank P. Ramsey and the Vienna Circle /
: [electronic resource] :
by Galavotti, Maria Carla [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIV, 256 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).
|
|
|
62.
|
THE LIMITS OF LOGICAL EMPIRICISM
: SELECTED PAPERS OF ARTHUR PAP /
: [electronic resource] :
by KEUPINK, ALFONS [editor.] | SHIEH, SANFORD [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 394 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).
|
|
|
63.
|
Mathematical Linguistics
: [electronic resource] /
by Kornai, András [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 290 p. online resource.Publisher: London : Springer London, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
64.
|
Husserl’s Logical Investigations in the New Century: Western and Chinese Perspectives
: [electronic resource] /
by Lau, Kwok-Ying [editor.] | Drummond, John J [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 184 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.
|
Computing Meaning
: [electronic resource] /
by Bunt, Harry [editor.] | Muskens, Reinhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VI, 477 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.
|
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).
|
|
|
67.
|
Argumentative Indicators in Discourse
: A Pragma-Dialectical Study /
: [electronic resource] :
by Eemeren, Frans H. van [editor.] | Houtlosser, Peter [editor.] | Henkemans, A. Francisca Snoeck [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 234 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).
|
|
|
68.
|
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).
|
|
|
69.
|
The Unity of Science in the Arabic Tradition
: Science, Logic, Epistemology and their Interactions /
: [electronic resource] :
by Rahman, Shahid [editor.] | Street, Tony [editor.] | Tahiri, Hassan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIII, 390 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).
|
|
|
70.
|
Unity, Truth and the Liar
: The Modern Relevance of Medieval Solutions to the Liar Paradox /
: [electronic resource] :
by Rahman, Shahid [editor.] | Tulenheimo, Tero [editor.] | Genot, Emmanuel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 338 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).
|
|
|
71.
|
Aspects of Automatic Text Analysis
: [electronic resource] /
by Mehler, Alexander [author.] | K�hler, Reinhard [author.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 444 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Availability: Items available for loan: (1).
|
|
|
72.
|
Logico-linguistic papers
by Martin, R. M. Material type: Book Description: ix, 202 p.Publisher: Dordrecht, Holland, Foris Publications 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401 M365l] (1).
|
|
|
73.
|
Introduction to logic circuits & logic design with VHDL
by LaMeres, Brock J. Description: xvi, 475p.Publisher: Switzerland Springer 2017Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L182i] (1).
|
|
|
74.
|
Handbook of philosophical logic
by Gabbay, D [ed.] | Guenthner, F [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 717p.Publisher: Dordrecht D. Reidel Publishing 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H191 v.4] (1).
|
|
|
75.
|
Introduction to natural language processing
by Eisenstein, Jacob. Description: xiv, 519p.Publisher: Cambridge MIT Press 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 Ei84i cop.1] (3).
|
|
|
76.
|
Introduction to logic synthesis using Verilog HDL
: [electronic resource] /
by Reese, Robert B. (Robert Bryan) 1958- | Thornton, Mitchell Aaron. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (vii, 75 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
77.
|
Embedded systems interfacing for engineers using the Freescale HCS08 microcontroller I
: assembly language programming /
: [electronic resource] :
by Summerville, Douglas H. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xi, 137 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
78.
|
Markov logic
: an interface layer for artificial intelligence /
: [electronic resource] :
by Domingos, Pedro | Lowd, Daniel. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 145 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
79.
|
Linguistic structure prediction
: [electronic resource] /
by Smith, Noah A. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xx, 248 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
80.
|
Recognizing textual entailment
: models and applications /
: [electronic resource] :
by Dagan, Ido. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xx, 200 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
