|
|
301.
|
Logic programming and non - monotonic reasoning
: proceedings of the first International Workshop
by | International Workshop ( 1991 : Washington, D.C.) | Nerode, Anil, Ed. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: vi, 288p.Publisher: Cambridge Mit Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 L829] (1).
|
|
|
302.
|
PROBABILISTIC REASING IN INTELLIGENT SYSTEM
by Pearl, Judea. Edition: 2nd rev prMaterial type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 P316P2] (1).
|
|
|
303.
|
SEQUENTIAL LOGIC TESTING AND VERIFICATION
by Ghosh, Abhijit | Newton, A. Richard. Material type: Book Description: xv,214.Publisher: Boston Kluwer Academic Pub. c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 G346s] (1).
|
|
|
304.
|
THE MATHEMATICS OF INHERITANCE SYSTEMS
by Touretzky, David S. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 T645M] (1).
|
|
|
305.
|
Logic programming
: Proceedings of the eighth international conference
by | Furukawa, Koichi, Ed. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 L829] (1).
|
|
|
306.
|
Handbook of philosophical logic [4 vols set]
by Gabbay, D. [ed.] | Guenthner, F. [ed.]. Material type: Book; Literary form: Description: 4v, (various pagings).Publisher: Dordrecht Kluwer Publishing Company 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 H191 v.1] (3).
|
|
|
307.
|
FOUNDATIONS OF COMPUTING
by Scheurer,Thierry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv,668.Publisher: Addison-Wesley, Reading,Mass. 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 SCH29F] (1).
|
|
|
308.
|
LOGIC OF TYPED FEATURE STRUCTURES
by Carpenter, Bob. Material type: Book Description: viii,270.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 C225L] (1).
|
|
|
309.
|
COMPUTER ARCHITECTURE AND LOGIC DESIGN
by Bartee, Thomas C. Material type: Book Description: xii,628.Publisher: New York] Mcgraw-Hill c1991Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 B281c] (1).
|
|
|
310.
|
ABDUCTIVE INFERENCE
by John R. Josephson,Susan G. Josephson | Josephson,Susan G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,306.Publisher: Cambridge Univ. Press,Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 AB31] (1).
|
|
|
311.
|
INITIATIVES IN LOGIC
by Srzednicki, Jan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,261.Publisher: Dordrecht Martinus Nijhoff 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In5] (1).
|
|
|
312.
|
THE METAPHYSICS OF THE TRACTATUS
by Carruthers Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,210.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 C237m] (1).
|
|
|
313.
|
Lecture notes in mathematics
: introduction to digital computer design:lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
by Homer, S | Odifreddi, Piergiorgio | Centro internazionale matematico estivo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 162 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 R453s] (1).
|
|
|
314.
|
LOGIC GRAMMARS
by Abramson, Harvey | Dahl, Veronica. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,234.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ab83L] (1).
|
|
|
315.
|
Formal methods in artificial intelligence
by Ramsay, Allan. Material type: Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1).
|
|
|
316.
|
Natural language understanding
by Allen, James. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 574p.Publisher: Mento Park Benjamin/Cummings 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Al53n] (1).
|
|
|
317.
|
Collected works [2Vols ]
by Lesniewski, Stanislaw | Stanislaw J. Surma [ed.] | Srzednicki, Jan T.[ed.] | Barnett, D.I. [ed.]. Material type: Book Description: 2v.Publisher: Dordrecht Kluwer Academic Publishers 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 199.438 L565c v.1] (2).
|
|
|
318.
|
Meta-programming in logic programming
by Abramson, Harvey [ed.] | Rogers, M. H. [ed.]. Material type: Book Description: 544p.Publisher: Cambridge MIT Press c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M564] (1).
|
|
|
319.
|
MODERN VLSI DESIGN
by Wolf,Wayne. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,468.Publisher: P T R Prentice Hall, Englewood Cliffs 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 W831M] (1).
|
|
|
320.
|
MASS TERMS AND MODEL THEORETIC SEMANTICS
by Bunt, Harry C. Material type: Book Description: xiii,325.Publisher: Cambridge Cambridge Univ. Pr. c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B885m] (1).
|
