IST Austria Library

Your search returned 172 results.

Not what you expected? Check for suggestions
1.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

by Huth, Michael, 1962- | Ryan, Mark, 1962-.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Online access: Sample text | Table of contents | Publisher description Availability: No items available Checked out (1).
Place hold Log in to add tags
2.
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 .
Place hold Log in to add tags
3.
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 .
Place hold Log in to add tags
4.
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 .
Place hold Log in to add tags
5.
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 .
Place hold Log in to add tags
6.
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 .
Place hold Log in to add tags
7.
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 .
Place hold Log in to add tags
8.
Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures / Hubert Comon, Claude Marché, Ralf Treinen (eds.).

by Comon, Hubert | Marché, Claude | Treinen, Ralf | ESPRIT CCL Working Group | CCL'99 (1999 : Gif-sur-Yvette, France).

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 .
Place hold Log in to add tags
9.
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 .
Place hold Log in to add tags
10.
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 .
Place hold Log in to add tags
11.
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 .
Place hold Log in to add tags
12.
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 .
Place hold Log in to add tags
13.
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 .
Place hold Log in to add tags
14.
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 .
Place hold Log in to add tags
15.
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 .
Place hold Log in to add tags
16.
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 .
Place hold Log in to add tags
17.
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 .
Place hold Log in to add tags
18.
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 .
Place hold Log in to add tags
19.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.).

by Bruynooghe, M. (Maurice) | Lau, K.-K. (Kung-Kiu), 1953-.

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 .
Place hold Log in to add tags
20.
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 .
Place hold Log in to add tags

Powered by Koha