Refine your search

Your search returned 20 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Interactive theorem proving : first international conference : proceedings, ITP, Edinburgh, UK, July 11-14, 2010 (e-book)

by Kaufmann, Matt [Editor] | Paulson, Lawrence C [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6172 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 (e-book)

by Bonanno, Giacomo [Editor] | Lowe, Benedikt [Editor] | van der Hoek, Wiebe [Editor].

Series: Lecture notes in computer science ; v.6006 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: eng Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Logic, language, information and computation : 17th international workshop : proceedings, WoLLIC, Brasilia, Brazil, July 6-9, 2010 (e-book)

by Dawar, Anuj [Editor] | Queiroz, Ruy de [Editor].

Series: lncs ; v.6188 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Grammatical inference : theoretical results and applications : 10th international colloquium : proceedings, ICGI, Valencia, Spain, Sept. 13-16, 2010 (e-book)

by Sempere, Jose M [Editor] | Garcia, Pedro [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6339 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Logics in artificial intelligence : 12th European conference : proceedings, JELIA, Helsinki, Finland, Sept. 13-15, 2010 (e-book)

by Janhunen, Tomi [Editor] | Niemela, Ilkka [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6341 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

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

by Clarke, Edmund M [Editor] | Voronkov, Andrei [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6355 | LNCS Sublibrary : SL 7 – Artificial Intelligence Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Logic and its applications : 4th Indian conference : proceedings, ICLA, Delhi, India, Jan. 5-11, 2011 (e-book)

by Banerjee, Mohua [Editor] | Seth, Anil [Editor].

Series: Lecture notes in computer science ; v.6521 ; Lecture notes in artificial intelligence Language: English Publication details: Berlin ; Springer ; 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Formal concept analysis : 9th international conference : proceedings, ICFCA, Nicosia, Cyprus, May 2-6, 2011 (e-book)

by Valtchev, Petko [Editor] | Jäschke, Robert [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6628 | Lecture Notes in Artificial Intelligence (LNAI) Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Add to cart
Logic, language, information, and computation : 22nd international workshop, WoLLIC, proceedings, Bloomington, IN, USA, July 20-23, 2015 (e-book)

by Paiva, Valeria de ...[et al.] [Editor].

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

Add to cart
Pages

Powered by Koha