Your search returned 39 results.

1.
Frontiers of Combining Systems [electronic resource] : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings / edited by Bernhard Gramlich.

by Gramlich, Bernhard | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.A1 G73 2005 (1).

2.
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

by Hentenryck, Pascal | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 H46 2006 (1).

3.
Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / edited by Sandro Etalle.

by Etalle, Sandro | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 E83 2005 (1).

4.
Logic Programming [electronic resource] : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings / edited by Véronica Dahl, Ilkka Niemelä.

by Dahl, Véronica | Niemelä, Ilkka | SpringerLink (Online service).

Edition: 1a. ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 D34 2007 (1).

5.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings / edited by Miki Hermann, Andrei Voronkov.

by Hermann, Miki | Voronkov, Andrei | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 H47 2006 (1).

6.
Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings / edited by Michael Johnson, Varmo Vene.

by Johnson, Michael | Vene, Varmo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 J64 2006 (1).

7.
Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter.

by Konev, Boris | Wolter, Frank | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA9.A1 K66 2007 (1).

8.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings / edited by Iliano Cervesato, Helmut Veith, Andrei Voronkov.

by Cervesato, Iliano | Veith, Helmut | Voronkov, Andrei | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 C47 2008 (1).

9.
Logics in Artificial Intelligence [electronic resource] : 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings / edited by Michael Fisher, Wiebe Hoek, Boris Konev, Alexei Lisitsa.

by Fisher, Michael | Hoek, Wiebe | Konev, Boris | Lisitsa, Alexei | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q334 F57 2006 (1).

10.
Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter Beek.

by Beek, Peter | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 B44 2005 (1).

11.
Principles and Practice of Constraint Programming – CP 2007 [electronic resource] : 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / edited by Christian Bessière.

by Bessière, Christian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 B47 2007 (1).

12.
Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings / edited by Maurizio Gabbrielli, Gopal Gupta.

by Gabbrielli, Maurizio | Gupta, Gopal | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 G33 2005 (1).

13.
Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu.

by Meseguer, José | Roşu, Grigore | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 M47 2008 (1).

14.
Principles and Practice of Constraint Programming [electronic resource] : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings / edited by Peter J. Stuckey.

by Stuckey, Peter J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C65 S78 2008 (1).

15.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov.

by Sutcliffe, Geoff | Voronkov, Andrei | SpringerLink (Online service).

Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76 S88 2005 (1).

16.
Probabilistic Inductive Logic Programming [electronic resource] : Theory and Applications / edited by Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton.

by Raedt, Luc | Frasconi, Paolo | Kersting, Kristian | Muggleton, Stephen | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 R34 2008 (1).

17.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings / edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.

by Baral, Chitta | Greco, Gianluigi | Leone, Nicola | Terracina, Giorgio | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 B37 2005 (1).

18.
Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad.

by Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 M84 2007 (1).

19.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / edited by Chitta Baral, Gerhard Brewka, John Schlipf.

by Baral, Chitta | Brewka, Gerhard | Schlipf, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.63 B37 2007 (1).

20.
Constraint Handling Rules [electronic resource] : Current Research Topics / edited by Tom Schrijvers, Thom Frühwirth.

by Schrijvers, Tom | Frühwirth, Thom | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.612 S37 2008 (1).

Powered by Koha