Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.). by Series: Lecture notes in computer science ; 3049. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11012061
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings / Luke Ong (ed.). by Series: Lecture notes in computer science ; 3634.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11538363
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • CSL 2005
  • 14th Annual Conference of the EACSL
  • Fourteenth Annual Conference of the EACSL
  • Conference of the EACSL
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / Michael Fisher, Fariba Sadri, Michael Thielscher (eds.). by Series: Lecture notes in computer science ; 5405. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, 2009Copyright date: ©2009
Other title:
  • CLIMA IX
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / Erich Grädel, Reinhard Kahle (eds.). by Series: Lecture notes in computer science ; 5771. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Computer science logic : 24th international workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings / Anuj Dawar, Helmut Veith (eds.). by Series: Lecture notes in computer science ; 6247. | Lecture notes in computer science. Advanced research in computing and software science. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Computational logic in multi-agent systems : 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings / Jürgen Dix [and others] (eds.). by Series: Lecture notes in computer science ; 6245. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, 2010
Other title:
  • CLIMA XI
  • CLIMA 11
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha