PKK Library catalog › Results of search for 'se,phr:"Logic programming"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Gregory, Steve (1)
- Robinson,J. A. (1)
- Shapiro, Ehud, Ed. (1)
- Sterling, Leon (1)
- Sterling, Leon S. (1)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (7)
Home libraries
- PK Kelkar Library, IIT Kanpur (7)
Item types
- Books (7)
Series
Topics
- Logic programming (1)
- Logic Programming (1)
- Logic, Symbolic And Mathematical (1)
- Prolog (Computer Program Language) (4)
- Prolog (Computer program language) (1)
- Show more

	1.	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). Place hold Add to cart (remove)
	2.	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). Place hold Add to cart (remove)
	3.	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). Place hold Add to cart (remove)
	4.	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). Place hold Add to cart (remove)
	5.	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). Place hold Add to cart (remove)
	6.	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). Place hold Add to cart (remove)
	7.	Logic programming : proceedings... by 4th International conference on logic programming Melbourne, Australia 1987 \| Lassez, Jean-Louis [ed.]. Description: xiv, 1056p.Publisher: Cambridge Mit Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 In8l v.1] (2). Place hold Add to cart (remove)
	8.	LOGIC PROGRAMMING by Lassez, Jean-Louis \| . Description: v.Publisher: Cambridge Mit Pr. c1987Availability: No items available Add to cart (remove)

PKK Library

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Authors

Item types

Series

Topics