|
|
261.
|
LOGIC COLLOQUIUM `81
by STERN, J. Description: xi,384.Publisher: Amsterdam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L] (1).
|
|
|
262.
|
VOLLSTANDIGE SYSTEME MODALER UND INTUITIONISTISCHER LOGIK
:
by SCHUTTE, KURT. Material type:  Book; Format:
print
; Nature of contents:  Description: ,87.Publisher: BERLIN SPRINGER-VERLAG 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 510.5 Er3n ] (1).
|
|
|
263.
|
PROGRESS IN LIBRARY SCIENCE
: Material type: Book; Format:
print
; Nature of contents: Description: ,87.Publisher: 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 020.5 P953 ] (1).
|
|
|
264.
|
PROGRESS IN ORGANIC CHEMISTRY
:
by CARRUTHERS, W | COOK, JAMES. Material type: Book; Format:
print
; Nature of contents: Description: ,87.Publisher: BUTTERWORTHS 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 540.5 P94 V.7 ] (1).
|
|
|
265.
|
ADVANCES IN CHEMISTRY SERIES
: Material type: Book; Format:
print
; Nature of contents: Description: ,87.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 540.4 Ad86 ] (1).
|
|
|
266.
|
ADVANCES IN CHEMISTRY SERIES
: Material type: Book; Format:
print
; Nature of contents: Description: ,87.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 540.4 Ad86 ] (1).
|
|
|
267.
|
Symbolic logic
by Copi, Irving Marmer. Description: xiii, 355p.Publisher: New York Macmillan Company 1954Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 C79s] (16). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 164 C79S] (3).
Withdrawn (31). Damaged (3).
|
|
|
268.
|
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).
|
|
|
269.
|
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).
|
|
|
270.
|
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).
|
|
|
271.
|
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).
|
|
|
272.
|
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).
|
|
|
273.
|
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).
|
|
|
274.
|
Systems of logic
by Martin, Norman M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 318p.Publisher: Cambridge Cambridge University Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 M364s] (1).
|
|
|
275.
|
Logic Colloquium
: proceedings...
by Logic Colloquium New York 1988 | European Foundation for Logic, Language, and Information | Center for the Study of Language and Information (U.S.). Material type:  Continuing resource; Format:
print
Description: multi volumes.Publisher: Amsterdam : North-Holland Pub., 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829L 1988] (1).
|
|
|
276.
|
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning
by Coecke, Bob | Kissinger, Aleks. Description: xvii, 827p.Publisher: Cambridge Cambridge University Press 2017Availability: No items available Checked out (1).
|
|
|
277.
|
An introduction to non-classical logic [2nd ed.]
: from If to Is
by Priest, Graham. Edition: 2nd ed. Description: xxxii, 613p.Publisher: Cambridge Cambridge University Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933i2 cop.2] (4). Checked out (1).
|
|
|
278.
|
Designing asynchronous circuits using NULL convention logic (NCL)
: [electronic resource] /
by Smith, Scott C | Di, Jia. Material type: Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (x, 86 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).
|
|
|
279.
|
Decision Procedures [2nd ed.] [Perpetual]
: an algorithmic point of view
by Kroening, Daniel | Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).
|
