Refine your search

Your search returned 192 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).
2.
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.).

by European Summer School in Logic, Language, and Information (9th : 1997 : Aix-en Provence, France) | Väänänen, J. (Jouko), 1950-.

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.
Challenges for action theories / Michael Thielscher.

by Thielscher, Michael.

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 .
4.
Learning language in logic / James Cussens, Sašo Džeroski, (eds.).

by Cussens, James | Džeroski, Sašo, 1968-.

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.
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.

by Nipkow, Tobias, 1958- | Paulson, Lawrence C | Wenzel, Markus.

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 .
6.
Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / Jerzy Marcinkowski, Andrzej Tarlecki, editors.

by Marcinkowski, Jerzy, 1965- | Tarlecki, Andrzej | European Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland) | LINK (Online service) | Workshop on Computer Science Logic (18th : 2004 : Karpacz, Poland).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
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 .
8.
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitsch (eds.).

by IJCAR (Conference) (2nd : 2004 : Cork, Ireland) | Basin, David | Rusinowitsch, Michaël.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: IJCAR 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings / Julian Bradfield (ed.).

by Workshop on Computer Science Logic (16th : 2002 : Edinburgh, Scotland) | Bradfield, J. C | European Association for Computer Science Logic. Conference (11th : 2002 : Edinburgh, Scotland).

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 .
10.
Machines, computations, and universality : 5th international conference, MCU 2007, Orleans, France, September 10-13, 2007 : proceedings / Jérôme Durand-Lose, Maurice Margenstern (eds.).

by MCU 2007 (2007 : Orléans, France) | Durand-Lose, Jérôme | Margenstern, Maurice.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MCU 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC (Colloquium) (4th : 2007 : Macau, China).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: Duration caculus.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / Balder D. ten Cate, Henk W. Zeevat (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia) | Cate, Balder David ten | Zeevat, Henk, 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: 6th International Tbilisi Symposium on Logic, Language, and Computation | Sixth International Tbilisi Symposium on Logic, Language, and Computation | International Tbilisi Symposium on Logic, Language, and Computation | TbiLLC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Computer science logic : 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc, Thomas A. Henzinger (eds.).

by CSL 2007 (2007 : Lausanne, Switzerland) | Duparc, Jacques, 1962- | Henzinger, T. A. (Thomas A.) | European Association for Computer Science Logic.

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CSL 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Computational logic in multi-agent systems : 7th international workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006 : revised selected and invited papers / Katsumi Inoue, Ken Satoh, Francesca Toni (eds.).

by CLIMA (Workshop) (7th : 2006 : Hakodate-shi, Japan) | Inoue, Katsumi | Satoh, Ken, 1959- | Toni, Francesca.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CLIMA VII | CLIMA 7 | CLIMA seven.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel [and others].

by Clavel, Manuel, 1969-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Argumentation in multi-agent systems : third international workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006 : revised selected and invited papers / Nicolas Maudet, Simon Parsons, Iyad Rahwan (eds.).

by ArgMAS 2006 (2006 : Hakodate-shi, Japan) | Maudet, Nicolas | Parsons, Simon | Rahwan, Iyad.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ArgMAS 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).

by Workshop on Computer Science Logic (15th : 2001 : Paris, France) | Fribourg, Laurent, 1957- | European Association for Computer Science Logic. Conference (10th : 2001 : Paris, 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 .
18.
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.).

by CSL '97 (1997 : Århus, Denmark) | Thomas, Wolfgang, 1947- | Nielsen, M. (Mogens), 1949- | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1998Other title: CSL '97 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen, Marc Bezem (eds.).

by CSL '96 (1996 : Utrecht, Netherlands) | Dalen, D. van (Dirk), 1932- | Bezem, M. (Marc), 1956- | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hng Kong : Springer-Verlag, ©1997Other title: CSL' 96 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.).

by CSL '98 (1998 : Brno, Czech Republic) | Gottlob, G. (Georg) | Grandjean, Etienne | Seyr, Katrin | European Association for Computer Science Logic.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©1999Other title: CSL '98 | EACSL.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha