|
|
261.
|
MATHEMATICAL LOGIC IN COMPUTER SCIENCE
by Domolki, B | Gergely, T | . Description: 758.Publisher: Amsterdam North-Holland 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.302854 C698m] (1).
|
|
|
262.
|
Natural language understanding and logic programming
: proceedings ...
by International Workshop on Natural Language Understanding and Logic Programming Rennes, France 1984 | Dahl,Veronica [ed.] | Saint - Dizier, Patrick [ed.]. Description: xi, 243p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8n] (1).
|
|
|
263.
|
LOGIC IN COMPUTER SCIENCE Description: xi,361.Publisher: Washington, D. C. Computer Society Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Sy68l] (1).
|
|
|
264.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Vardi, Moshe Y. Description: viii,401.Publisher: Los Altos, Morgan Kaufmann c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76t] (1).
|
|
|
265.
|
Logic Colloquium '84
: proceedings...
by Paris, J.B [ed.] | Wilkie, A.J [ed.]. Description: x,377p.Publisher: Amsterdam North-Holland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L829] (1).
|
|
|
266.
|
Logic, methodology, and philosophy of science
: edited by L. Jonathan Cohen [et al.]
by 6th International Congress of logic, Methodology, and Philosophy of Science Amsterdam 1979 | Cohen, L. Jonathan [ed.] | Los, Jerzy | Pfeiffer, Helmut | Podewski, Klaus-Peter. Description: xiv,856p.Publisher: Amsterdmam North-Holland 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In8] (2).
|
|
|
267.
|
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).
|
|
|
268.
|
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).
|
|
|
269.
|
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).
|
|
|
270.
|
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).
|
|
|
271.
|
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).
|
|
|
272.
|
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).
|
|
|
273.
|
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).
|
|
|
274.
|
Continuous System Simulation
: [electronic resource] /
by Cellier, François E [author.] | Kofman, Ernesto [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XXII, 644 p. 284 illus. 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).
|
|
|
275.
|
Computer Graphics and Geometric Modeling
: Mathematics /
: [electronic resource] :
by Agoston, Max K [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 959 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
276.
|
Cognitive Engineering
: A Distributed Approach to Machine Intelligence /
: [electronic resource] :
by Konar, Amit [author.] | Jain, Lakhmi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 354 p. 124 illus. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
277.
|
Max-Plus Linear Stochastic Systems and Perturbation Analysis
: [electronic resource] /
by Heidergott, Bernd [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 320 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
278.
|
Modelling Distributed Systems
: [electronic resource] /
by Fokkink, Wan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VIII, 154 p. 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).
|
|
|
279.
|
Sets, Logic and Maths for Computing
: [electronic resource] /
by Makinson, David [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 302 p. online resource.Publisher: London : Springer London : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
280.
|
Algorithms in Invariant Theory
: [electronic resource] /
by Sturmfels, Bernd [author.] | SpringerLink (Online service). Edition: Second edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 197 p. online resource.Publisher: Vienna : Springer Vienna, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
