Your search returned 63 results.

Not what you expected? Check for suggestions
1.
Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proceedings / James Cussens, Alan Frisch (eds).

by ILP (Conference) (10th : 2000 : London, England) | Cussens, James | Frisch, Alan.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic programming and knowledge representation : third international workshop, LPKR'97 : Port Jefferson, New York, USA, October 17, 1997 : selected papers / Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds).

by LPKR'97 (1997 : Port Jefferson, N.Y.) | Dix, J. (Jürgen), 1961- | Pereira, Luís Moniz | Przymusinski, Teodor C, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, ©1998Other title: LPKR '97.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings / Robert Nieuwenhuis, Andrei Voronkov (eds.).

by LPAR (Conference) (2001 : Havana, Cuba) | Nieuwenhuis, Robert | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Other title: LPAR 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.).

by LPAR 2002 (2002 : Tʻbilisi, Georgia) | Baaz, Matthias | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003 : selected papers / Krzysztof R. Apt [and others] (eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary) | Apt, Krzysztof R, 1949- | European Research Consortium for Informatics and Mathematics | CoLogNET.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: CSCLP 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers / Barry O'Sullivan (ed.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2002 : Cork, Ireland) | O'Sullivan, B. (Barry).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings / Vladimir Lifschitz, Ilkka Niemelä (eds.).

by LPNMR 2004 (2004 : Fort Lauderdale, Fla.) | Lifschitz, Vladimir | Niemelä, Ilkka, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings / Rui Camacho, Ross King, Ashwin Srinivasan (eds.).

by ILP 2004 (2004 : Porto, Portugal) | Camacho, Rui | King, Ross (Ross Donald) | Srinivasan, Ashwin.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: 14th International Conference, ILP | Fourteenth International Conference, ILP | International Conference, ILP 2004 | ILP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.).

by ILP (Conference) (11th : 2001 : Strasbourg, France) | Rouveirol, Céline | Sebag, Michèle.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.).

by LPNMR 2001 (2001 : Vienna, Austria) | Eiter, Thomas, 1966- | Faber, Wolfgang, 1974- | Truszczyński, Mirosław.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 9-11, 2002 : revised papers / Stan Matwin, Claude Sammut (eds.).

by ILP 2002 (2002 : Sydney, N.S.W.) | Matwin, Stan | Sammut, Claude, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / Moshe Y. Vardi, Anderi Voronkov, eds.

by LPAR (Conference) (10th : 2003 : Alma-Ata, Kazakhstan) | Vardi, Moshe Y | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Inductive logic programming : 16th international conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006 : revised selected papers / Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad (eds.).

by ILP (Conference) (16th : 2006 : Santiago de Compostela, Spain) | Muggleton, Stephen | Otero, Ramon | Tamaddoni-Nezhad, Alireza.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ILP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Recent advances in constraints : 11th annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers / Francisco Azevedo [and others](eds.).

by ERCIM International Workshop on Constraint Solving and Constraint Logic Programming (11th : 2006 : Caparica, Portugal) | Azevedo, Francisco | European Research Consortium for Informatics and Mathematics.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Other title: ERCIM International Workshop on Constraint Solving and Constraint Logic Programming | CSCLP 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings / Chitta Baral, Gerhard Brewka, John Schlipf (eds.).

by LPNMR 2007 (2007 : Tempe, Ariz.) | Baral, Chitta | Brewka, Gerhard | Schlipf, John.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: LPNMR 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (eds.).

by LPAR (Conference) (2007 : Yerevan, Armenia) | Dershowitz, Nachum | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).

by LPAR (Conference) (2000 : Réunion) | Parigot, Michel, 1956- | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Inductive logic programming : 17th international conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007 : revised selected papers / Hendrick Blockeel [and others] (eds.).

by ILP (Conference) (17th : 2007 : Corvallis, Or.) | Blockeel, Hendrik.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Other title: ILP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / Boi Faltings [and others] (eds.).

by Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2004 : Lausanne, Switzerland) | Faltings, Boi | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2005Other title: Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming | CSCLP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.).

by LPAR 2004 (2005 Mar. 14-18 : Montevideo, Uruguay) | Baader, Franz | Voronkov, Andrei, 1959-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: LPAR 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha