Refine your search

Your search returned 144 results.

Not what you expected? Check for suggestions
1.
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / Jim Grundy, Malcolm Newey, (eds.).

by TPHOLs (11th : 1998 : Canberra, A.C.T.) | Grundy, J. (Jim), 1968- | Newey, Malcolm Charles.

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 .
2.
The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub.

by Schaub, Torsten.

Material type: Text Text; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; New York : Springer, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings / Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.).

by PTCS 2001 (2001 : Dahgstuhl Castle) | Kahle, Reinhard, 1967- | Schroeder-Heister, Peter Joseph, 1953- | Stärk, Robert F, 1963-.

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 .
4.
Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings / Victor A. Carreño, César A. Muñoz, Sofiène Tahar, eds.

by TPHOLs (15th : 2002 : Hampton, Va.) | Carreño, Victor A, 1956- | Muñoz, César A, 1968- | Tahar, Sofiène, 1966-.

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 .
5.
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings / Jacques Calmet [and others] (eds.).

by AISC (Conference) (6th : 2002 : Marseille, France) | Calmet, Jacques | Calculemus 2000 (2002 : Marseille, France).

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.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings / Uwe Egly, Christian G. Fermüller (eds.).

by TABLEAUX 2002 (2002 : Copenhagen, Denmark) | Egly, Uwe, 1960- | Fermüller, C. (Christian), 1963-.

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 .
7.
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 .
8.
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / Paul Callaghan [and others].

by TYPES 2000 (2000 : Durham, England) | Callaghan, Paul, 1970-.

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 .
9.
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 .
10.
Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).

by International Workshop on Automated Deduction in Geometry (4th : 2002 : Linz, Austria) | Winkler, Franz, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: ADG 2002.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / Farn Wang (ed.).

by ATVA (Symposium) (2nd : 2004 : Taipei, Taiwan) | Wang, Farn | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©2004Other title: ATVA 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings / editors, Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan.

by TPHOLs (17th : 2004 : Park City, Utah) | Slind, Konrad | Bunker, Annette | Gopalakrishnan, Ganesh | LINK (Online service).

Material type: Text Text; Format: available online remote Publisher: Berlin : Springer, 2004Other title: TPHOLs 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers / Herman Geuvers, Freek Wiedijk, eds.

by TYPES 2002 (2002 : Berg en Dal, Netherlands) | Geuvers, Herman, 1964- | Wiedijk, Freek, 1961-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).

by MKM 2004 (2004 : Białowieża, Poland) | Asperti, Andrea | Bancerek, Grzegorz | Trybulec, Andrzej.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: MKM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
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 .
16.
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / Thomas F. Melham, Juanito Camilleri (eds.).

by Melham, T. F. (Tom F.) | Camilleri, Juanito.

Material type: Text Text; Format: available online remote; 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 .
17.
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings / Roy Dyckhoff (ed.).

by TABLEAUX 2000 (2000 : St. Andrews, Scotland) | Dyckhoff, Roy, 1948-.

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 .
18.
5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski.

by Bibel, W, 1938- [edt] | Kowalski, Robert (Robert A.) [edt] | Conference on Automated Deduction (5 : 08-07-1980 - 11-07-1980 : Les Arcs, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1980Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.

by Kirchner, Claude [edt] | International Conference on Automated Deduction, CADE (15 : 05-07-1998 - 10-07-1998 : Lindau, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1998Other title: Automated deduction | CADE-15.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings / Mark Aagaard, John Harrison (eds.).

by TPHOLs (13th : 2000 : Portland, Or.) | Aagaard, Mark, 1966- | Harrison, J. (John), 1966-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg ; New York : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha