|
1.
|
NETL
: a system for representing and using real-world knowledge
by Fahlman, Scott E. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Cambridge The Mit Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 F142n] (1).
|
|
2.
|
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).
|
|
3.
|
META-LEVEL INFERENCE
by Silver, Bernard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,222.Publisher: Amsterdam North-Halland 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Si39m] (1).
|
|
4.
|
THE INTELLIGENT MICRO
by Williams, Noel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,198.Publisher: London Mcgrew-Hill 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 W674i] (1).
|
|
5.
|
CATALOGUE OF ARTIFICIAL INTELLIGENCE TOOLS
by Bundy, Alan [ed.]. Edition: 2nd rev.Material type: Book; Format:
print
; Literary form:
not fiction
Description: 168p.Publisher: Berlin Springer-Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.5350216 C28 ] (2).
|
|
6.
|
Automatic correction and improvement of programs
by Wertz, H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 196p.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W499a] (1).
|
|
7.
|
VLSI for artificial intelligence
by | Delgado--Frias, Jose G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 274p.Publisher: Boston Kluwer Academic 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 V62] (1).
|
|
8.
|
Algorithmic methods for artificial intelligence
by Griffiths, Michael | Palissier, Carol. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 144p.Publisher: London Kogan Page 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 G875a] (1).
|
|
9.
|
ARTIFICIAL INTELLIGENCE PROGRAMMING ENVIRONMENTS
by Hawley, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 214.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ar77] (1).
|
|
10.
|
WHAT EVERY ENGINEER SHOULD KNOW ABOUT ARTIFICIAL INTELLIGENCE
by Taylor, William A. Material type: Book Description: x,331.Publisher: Cambridge Mit Press c1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 T219w] (1).
|
|
11.
|
Prolog
: programming for artificial intelligence [3rd ed.]
by Bratko, Ivan. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 678p.Publisher: Harlow, England Addison-Wesley 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B737p3] (1).
|
|
12.
|
ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG
by Shoham,Yoav. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,327.Publisher: Morgan Kaufmann Pub., San Francisco 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 SH73A] (1).
|
|
13.
|
Bio-inspired artificial intelligence
: theories, methods, and technologies
by Floreano, Dario. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 659p.Publisher: Cambridge The Mit Press 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F661b] (1).
|
|
14.
|
Artificial intelligence II methodology, systems, applications
: proceedings of the Second International conference on Artificial Intelligence
by Jorrand, Ph. [ed.] | Sgurev, V. [ed.]. Description: xii, 403p.Publisher: Amsterdam North Holland 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 A75 1986] (1).
|
|
15.
|
ARTIFICIAL INTELLIGENCE
by Bibel, W | Petkoff, B | . Description: xi,247.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8a] (1).
|
|
16.
|
ECONOMICS AND ARTIFICIAL INTELLIGENCE
by Roos, Jean-Louis. Description: xiii,194.Publisher: Oxford Pergamon Pr. For The Internat. Federation Of Automatic Control 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 330.028563 In8e] (1).
|
|
17.
|
Markov logic
: an interface layer for artificial intelligence /
: [electronic resource] :
by Domingos, Pedro | Lowd, Daniel. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 145 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2009Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
18.
|
Judgment aggregation :
: a primer /
by Grossi, Davide [author.] | Pigozzi, Gabriella [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 133 pages).Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
19.
|
Artificial Intelligence [Perpetual access till 2028]
: a modern approach
by Russell, Stuart | Norvig, Peter. Edition: 3rd ed. Publisher: Pearson 2010Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 R911a] (1).
|