Your search returned 143 results.

Not what you expected? Check for suggestions
1.
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini, (eds.).

by International Workshop on Logic Program Synthesis and Transformation (4th : 1994 : Pisa, Italy) | Fribourg, Laurent, 1957- | Turini, Franco, 1949- | META '94 (1994 : Pisa, Italy).

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.).

by International Workshop on Logic-based Program Synthesis and Transformation (8th : 1998 : Manchester, England) | Flener, Pierre, 1964-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers / Burkhard Freitag [and others], (eds.).

by International Seminar on Logic Databases and the Meaning of Change (1996 : Schloss Dagstuhl) | Freitag, Burkhard, 1953- | Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 : Port Jefferson, N.Y.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 .
5.
Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / K.-K. Lau (ed.).

by International Workshop on Logic-based Program Synthesis and Transformation (10th : 2000 : London, England) | Lau, K.-K. (Kung-Kiu), 1953-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / N.E. Fuchs (ed.).

by International Workshop on Logic Program Synthesis and Transformation (7th : 1997 : Leuven, Belgium) | Fuchs, N. E. (Norbert E.).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 1998Other title: LOPSTR'97.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 .
8.
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.).

by International Conference on Logic Programming (17th : 2001 : Paphos, Cyprus) | Codognet, Philippe.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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 .
10.
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers / Alberto Pettorossi, ed.

by International Workshop on Logic-Based Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus) | Pettorossi, A. (Alberto), 1947-.

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 .
11.
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 .
12.
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 .
13.
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 .
14.
Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings / Catuscia Palamidessi (ed.).

by International Conference on Logic Programming (19th : 2003 : Bombay, India) | Palamidessi, Catuscia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Other title: ICLP 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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 .
16.
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers / Maurice Bruynooghe (ed.).

by LOPSTR (Symposium) (13th : 2003 : Uppsala, Sweden) | Bruynooghe, M. (Maurice).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: LOPSTR 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings / Bart Demoen, Vladimir Lifschitz (eds.).

by International Conference on Logic Programming (20th : 2004 Saint Malo, France) | Demoen, Bart | Lifschitz, Vladimir.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: 20th International Conference, ICLP | Twentieth International Conference, ICLP | International Conference, ICLP 2004 | ICLP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings / Yukiyoshi Kameyama, Peter J. Stuckey (eds.).

亀山, 幸義. by Fuji International Symposium on Functional and Logic Programming | Kameyama, Yukiyoshi | Stuckey, Peter J.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: FLOPS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
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 .
20.
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds.

by Levi, G. (Giorgio), 1942- | Rodríguez Artalejo, M. (Mario) | International Conference on Algebraic and Logic Programming (4th : 1994 : Madrid, Spain).

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

Powered by Koha