Your search returned 160 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
61.
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann. by Series: Lecture notes in computer science ; 230.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1986
Other title:
  • Eighth International Conference on Automated Deduction
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
62.
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 2326, 1988 : proceedings / E. Lusk, R. Overbeek (eds.). by Series: Lecture notes in computer science ; 310.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : SpringVerlag, ©1988
Other title:
  • Ninth International Conference on Automated Deduction
  • CADE-9
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
63.
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur, ed. by Series: Lecture notes in computer science ; 607. | Lecture notes in computer science. Lecture notes in artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
64.
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.). by Series: Lecture notes in computer science ; 1831. | 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
65.
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, ed. by Series: Lecture notes in computer science ; 1249. | 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, ©1997
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
66.
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers / Dongming Wang (ed.). by Series: Lecture notes in computer science ; 1360. | 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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
67.
Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.). by Series: Lecture notes in computer science ; 693.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
68.
Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.). by Series: Lecture notes in computer science ; 708.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
69.
Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers / Henk Barendregt, Tobias Nipkow, eds. by Series: Lecture notes in computer science ; 806.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
70.
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed. by Series: Lecture notes in computer science ; 2392. | 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, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
71.
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.). by Series: Lecture notes in computer science ; 3085.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11012856
Publication details: Berlin ; New York : Springer, ©2004
Other title:
  • TYPES 2003
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
72.
Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings / Ganesh Gopalakrishnan, Phillip Windley (eds.). by Series: Lecture notes in computer science ; 1522.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Other title:
  • FMCAD '98
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
73.
Theory reasoning in connection calculi / Peter Baumgartner. by Series: Lecture notes in computer science ; 1527. | 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, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
74.
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR ʼ96, Bonn, Germany, June 3-7, 1996 : proceedings / Dov M. Gabbay, Hans Jürgen Ohlbach (eds.). by Series: Lecture notes in computer science ; 1085. | 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, ©1996
Other title:
  • FAPR '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
75.
76.
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds. by Series: Lecture notes in computer science ; 918. | 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, ©1995
Other title:
  • TABLEAUX '95
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
77.
Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri, eds. by Series: Lecture notes in computer science ; 1166.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Other title:
  • FMCAD '96
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
78.
6th Conference on Automated Deduction : New York, USA, June 7-9, 1982 / edited by D.W. Loveland. by Series: Lecture notes in computer science ; 138.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1982
Other title:
  • Sixth Conference on Automated Deduction
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
79.
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R.E. Shostak. by Series: Lecture notes in computer science ; 170.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1984
Other title:
  • Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
80.
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow. by Series: Lecture notes in computer science ; 828.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©1994
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha