Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, Apr. 25-May 1, 2010 (e-book)

Contributor(s): Clarke, Edmund M [Editor] | Voronkov, Andrei [Editor]Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6355 | LNCS Sublibrary : SL 7 – Artificial IntelligencePublication details: Berlin Springer 2010ISBN: 978-3-642-17511-4Subject(s): Computer science and engineering | Logic, Symbolic and mathematical -- Congresses | Artificial intelligence -- Congresses | Reasoning -- Congresses | Programming languages (Electronic computers) -- CongressesOnline resources: Click here to access online
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number URL Status Date due Barcode Item holds
E-Books E-Books Central Library, IITB
Online
Link to resource Online EBK432
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha