Refine your search

Your search returned 245 results.

Sort
Results
Answer set solving in practice (e-book)

by Gebser, Martin... [et al.] [Author].

Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2013Online access: Click here to access online Availability: Items available for reference: Online (1) .

General game playing (e-book)

by Genesereth, Michael [Author] | Thielscher, Michael [Author].

Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2014Online access: Click here to access online Availability: Items available for reference: Online (1) .

Datalog and logic databases (e-book)

by Greco, Sergio [Author] | Molinaro, Cristian [Author].

Series: Synthesis lectures on data managementMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Introduction to logic programming (e-book)

by Genesereth, Michael [Author] | Chaudhri, Vinay K [Author].

Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2020Online access: Click here to access online Availability: Items available for reference: Online (1) .

Logic-based program synthesis and transformation : 25th international symposium, LOPSTR, Siena, Italy, July 13-15, 2015 (e-book)

by Falaschi, Moreno [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9527 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha