|
|
1.
|
Communicating with databases in natural language
by Wallace, Mark. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 170p.Publisher: Chichester Ellis Horwood 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W155c] (1).
|
|
|
2.
|
PROLOG
by Giannesini, Francis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,260.Publisher: Wokingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P944] (1).
|
|
|
3.
|
Art of Prolog
: advanced programming techniques
by Sterling, Leon | Shapiro, Ehud. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 427p.Publisher: Cambridge MIT Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 St45a] (1).
|
|
|
4.
|
PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
by Bratko, Ivan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,423.Publisher: Workingham Addison-Wesley 1986Availability: No items available Withdrawn (1).
|
|
|
5.
|
Lecture notes in computer science
by Hartmanis, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 119p.Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
6.
|
PROGRAMMING IN MICRO-PROLOG
by De Saram, Hugh. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 166.Publisher: Chichester Ellis Horwood 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 D34p] (1).
|
|
|
7.
|
PROGRAMMING IN PROLOG
by Clocksin, William F | Mellish, C. S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,279.Publisher: Berlin Springer-Verlag 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C62p] (1).
|
|
|
8.
|
Programming in Prolog [2nd ed.]
by Clocksin, W. F | Mellish, C. S. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 297p.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C62p2] (1).
|
|
|
9.
|
PROLOG PROGRAMMING
by Marcus, Claudia. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,325.Publisher: Reading, Mass. Addition-Wesley 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 M334p] (1).
|
|
|
10.
|
PARALLEL LOGIC PROGRAMMING IN PROLOG
by Gregory, Steve. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,217.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G862p] (1).
|
|
|
11.
|
Algorithmic program debugging
by Shapiro, Ehud Y. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 232p.Publisher: Cambridge The Mit Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sh22a] (1).
|
|
|
12.
|
KNOWLEDGE SYSTEMS AND PROLOG
by Walker, Adrian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,475.Publisher: Reading, Mass. Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K76] (1).
|
|
|
13.
|
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).
|
|
|
14.
|
TURBO PROLOG (R) PRIMER
by Rogers, Jean B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,215.Publisher: Reading, Mass. Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R632t] (1).
|
|
|
15.
|
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).
|
|
|
16.
|
Building expert systems in PROLOG
by Merritt, Dennis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 358p.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M553b] (1).
|
|
|
17.
|
PROLOG MULTIPROCESSORS
by Wise, Michael J. Material type: Book Description: xii,168.Publisher: Englewood Cliffs Prentice Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W754p] (1).
|
|
|
18.
|
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).
|
|
|
19.
|
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).
|
|
|
20.
|
ADVENTURE IN PROLOG
by Merritt, Dennis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,186.Publisher: New York Springer-Verlag 1990Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M553a] (1).
|
