Your search returned 247 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. by
Edition: 2nd edition
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004
Online resources:
Availability: Items available for loan: Library (1)Call number: 005-2004.
Place hold
2.
3.
Challenges for action theories / Michael Thielscher. by Series: Lecture notes in computer science ; 1775. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Learning language in logic / James Cussens, Sašo Džeroski, (eds.). by Series: Lecture notes in computer science ; 1925. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel. by Series: Lecture notes in computer science ; 2283.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
7.
Program development in computational logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kung-Kiu Lau (eds.). by Series: Lecture notes in computer science ; 3049. | Lecture notes in computer science. State-of-the-art survey.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11012061
Publication details: Berlin ; New York : Springer, ©2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings / David Basin, Michaël Rusinowitsch (eds.). by Series: Lecture notes in computer science ; 3097. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2004
Other title:
  • IJCAR 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
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 Series: Lecture notes in computer science ; 4664. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • MCU 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
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 Series: LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4363. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other 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 resources:
Availability: Items available for loan: e-Library (1).
Place hold
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 Series: Lecture notes in computer science ; 4646. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • CSL 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
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 Series: Lecture notes in computer science ; 4371. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • CLIMA VII
  • CLIMA 7
  • CLIMA seven
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
All about Maude-- a high-performance logical framework : how to specify, program and verify systems in rewriting logic / Manuel Clavel [and others]. by Series: Lecture notes in computer science ; 4350. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
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 Series: Lecture notes in computer science ; 4766. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Hot topics (Berlin, Germany)
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12171521
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • ArgMAS 2006
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
18.
19.
20.
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 Series: Lecture notes in computer science ; 1414.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, ©1998
Other title:
  • CSL '97
  • EACSL
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha