|
|
1.
|
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).
|
|
|
2.
|
FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING
by Minker, Jack. Material type: Book Description: 746.Publisher: Los Altos Morgan Kaufman Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F825] (1).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
Applications of logic databases
by Ramakrishnan, Raghu [ed.]. Material type: Book Description: xxiii, 280p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 AP58] (1).
|
|
|
10.
|
Logic program synthesis from incomplete information
by Flener, Pierre. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 242p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 F63l] (1).
|
|
|
11.
|
INTRODUCTION TO HOL
by Gordon, M. J. C | Melham, T. F. Material type: Book Description: xi,472.Publisher: Cambridge Cambridge Univ. Press c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 In8] (1).
|
|
|
12.
|
LOGIC AND OBJECTS
by Mccabe,Francis G. Material type: Book Description: xxii,289.Publisher: Prentice-Hall, New York c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M123L] (1).
|
|
|
13.
|
PARALLEL LOGIC PROGRAMMING
by Takeuchi, Akikazu. Material type: Book Description: xx,233.Publisher: New York John Wiley c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 T139p] (1).
|
|
|
14.
|
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).
|
|
|
15.
|
PREDICATE TRANSFORMER SEMANTICS
by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).
|
|
|
16.
|
Logics for databases and information systems
by | Saake, Gunter, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 430p.Publisher: Bostan Kluwer Academic Publishers 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 L829] (1).
|
|
|
17.
|
Inductive logic programming
by | Muggleton, Stephen, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 565p.Publisher: London Academic Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 In3m] (1).
|
|
|
18.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; V.3419
: RECENT ADVANCES IN CONSTRAINTS
by Faltings,Boi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,215.Publisher: Springer-Verlag, Berlin 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
19.
|
The Logic programming paradigm
: a 25-year perspective
by Apt, K. R [ed.] | Marek, V. W [ed.] | Truszczynski, M [ed.] | Warren, D. S [ed.]. Material type: Book Description: xvi, 456p.Publisher: Berlin Springer 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 L828a] (1).
|
|
|
20.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson | Robinson,J. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,511.Publisher: Clarendon Press, Oxford 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192G] (1).
|
