Your search returned 150 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
81.
Algorithmic decision theory : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009, proceedings / Francesca Rossi, Alexis Tsoukias (eds.). by Series: Lecture notes in computer science ; 5783. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2009
Other title:
  • ADT 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
82.
Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / Zhiming Liu, Anders P. Ravn (eds.). by Series: Lecture notes in computer science ; 5799. | 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, ©2009
Other title:
  • ATVA 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
83.
84.
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / Yves Bertot [and others] (eds.). by Series: Lecture notes in computer science ; 1690.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
85.
Automated reasoning : 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / Jürgen Giesl, Reiner Hähnle (eds.). by Series: Lecture notes in computer science ; 6173. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2010
Other title:
  • IJCAR 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
86.
Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / Matt Kaufmann, Lawrence C. Paulsen (eds.). by Series: Lecture notes in computer science ; 6172. | 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, ©2010
Other title:
  • ITP 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
87.
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / Ahmed Bouajjani, Wei-Ngan Chin (eds.). by Series: Lecture notes in computer science ; 6252. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ATVA 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
88.
Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, eds. by Series: Lecture notes in computer science ; 1125.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Other title:
  • TPHOLs '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
89.
90.
Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / Kai Brünnler, George Metcalfe (eds.). by Series: Lecture notes in computer science ; 6793. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg : Springer, 2011
Other title:
  • TABLEAUX 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
91.
Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / Thomas Sturm, Christoph Zengler (eds.). by Series: Lecture notes in computer science ; 6301. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2011
Other title:
  • ADG 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
92.
Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, the Netherlands, August 22-25, 2011, proceedings / Marko Van Eekelen [and others] (eds.). by Series: Lecture notes in computer science ; 6898. | 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, ©2011
Other title:
  • ITP 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
93.
Automated deduction--CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31-August 5, 2011 : proceedings / Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.). by Series: Lecture notes in computer science ; 6803. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • CADE-23
  • CADE-twenty-three
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
94.
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / Tevfik Bultan, Pao-Ann Hsiung (eds.). by Series: Lecture notes in computer science ; 6996.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Heidelberg ; New York : Springer, ©2011
Other title:
  • ATVA 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
95.
Algorithmic decision theory : second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (eds.). by Series: Lecture notes in computer science ; 6992. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • ADT 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
96.
Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.). by Series: Lecture notes in computer science ; 1669. | 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, ©1999
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
97.
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 6877. | Lecture notes in computer science | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • ADG 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
98.
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings / edited by Marta Cialdea Mayer, Fiora Pirri. by Series: Lecture notes in computer science ; 2796,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
99.
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13 16, 1997 Proceedings. by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 1227,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
100.
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX98 Oisterwijk, the Netherlands, May 58, 1998 Proceedings / edited by Harrie Swart. by Series: Lecture notes in computer science ; 1397,
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha