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

Your search returned 2 results. Subscribe to this search

|
1. Advances in artificial general intelligence : concepts, architectures and algorithms

by Goertzel, Ben [ed.] | Wang, Pei [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 295p.Publisher: Amsterdam Ios Press 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 Ar78a] (1).

2. Handbook of satisfiability

by Biere, Armin [ed.] | Heule, Marjin [ed.] | Maaren, Hans van [ed.] | Walsh, Toby [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 966p.Publisher: Amsterdam IOS Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H191] (1).

Powered by Koha