|
|
21.
|
Computing with logic
: logic programming with Prolog
by Maier, David | Warren, David S. Material type:  Book Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).
|
|
|
22.
|
PRACTICE OF PROLOG
by Sterling, Leon S. Material type: Book Description: 312.Publisher: Cambridge Mit Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P944] (1).
|
|
|
23.
|
Concurrent prolog [2 vols.]
: collected papers
by | Shapiro, Ehud, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v. (various paging).Publisher: Cambridge The Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C749] (2).
|
|
|
24.
|
ADVANCED LOGIC PROGRAMMING LANGUAGE
by Dodd, Tony. Material type: Book Description: v,286.Publisher: Oxford Intellect c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ad95] (1).
|
|
|
25.
|
MEANING AND SPEECH ACTS
by Vanderveken,Daniel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Cambridge Univ. Press, Cambridge 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 V286M] (1).
|
|
|
26.
|
MEANING AND SPEECH ACTS
by Vanderveken,Daniel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Cambridge Univ. Press, Cambridge 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 V286M] (1).
|
|
|
27.
|
Deductive databases and logic programming
by Das, Subrata Kumar. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 432p.Publisher: Wokingham, England Addison-Wesley Publishing 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.3 D26d] (1).
|
|
|
28.
|
LIVE DATA STRUCTURES IN LOGIC PROGRAMS
by Mulkers, Anne. Material type: Book Description: viii,211.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
29.
|
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).
|
|
|
30.
|
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).
|
|
|
31.
|
WARREN'S ABSTRACT MACHINE
: Hassan Ait-Kaci
by Ait-Kaci, Hassan. Material type: Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).
|
|
|
32.
|
Computing with logic
: logic programming with Prolog
by Maier, David | Warren, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).
|
|
|
33.
|
DIGITAL DESIGN WITH CPLD APPLICATIONS AND VHDL
by Dueck,Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,846.Publisher: Delmar, Africa 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 D868D] (1).
|
|
|
34.
|
Logic and philosophy of language
by Perrett, Roy W [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 330p.Publisher: New York Garland Publishing 2000Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 181.4 In2] (1).
|
|
|
35.
|
VERILOG CODING FOR LOGIC SYNTHESIS
by Lee,Weng Fook. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv,309.Publisher: Wiley Interscience Pub.,New York 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 L494V] (1).
|
|
|
36.
|
Programming with higher-order logic
by Miller, Dale | Nadathur, Gopalan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 306p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 M613p] (1).
|
|
|
37.
|
Philosophical investigations
by Wittgenstein, Ludwig | Anscombe, G. E. M [tr.]. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 272p.Publisher: New York Macmillan 1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193.9 W78pE] (1).
|
|
|
38.
|
PHILOSOPHICAL INVESTIGATIONS
by Wittgenstein, Ludwig | Anscombe, G. E. M. Edition: 3rdMaterial type: Book Description: 272.Publisher: New York Macmillan c1953Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 193.9 W78pE3] (1).
|
|
|
39.
|
GESCHICHTE DER SPRACHWISSENSCHAFT BEIDEN GRIECHEN UND ROMERN
by Steinthal, Heymann. Material type: Book Description: 2 v.1.Publisher: Hildesheim G. Olms 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 400 St37g] (1).
|
|
|
40.
|
GESCHICHTE DER SPRACHWISSENSCHAFT BEIDEN GRIECHEN UND ROMERN
by Steinthal, Heymann. Material type: Book Description: 2 v.2.Publisher: Hildesheim G. Olms 1961Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 400 St37g] (1).
|
