Results of search for 'su:"Automatic theorem proving"'

Results
	1.		Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving by Wu Wen-tsun by Wen-tsün Wu Publication details: Dordrecht ; Boston Kluwer Academic Publishers 2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 WEN.
	2.		No cover image available Mathematics mechanization and applications edited by Xiao-Shan Gao and Dongming Wang by Gao, Xiao-Shan Wang, Dongming Publication details: San Diego, CA Elsevier / Academic Press c2000 Availability: Items available for loan: Anna Centenary Library (1)Call number: 512.94 GAO.
	3.		Proof theory and automated deduction by Jean Goubault-Larrecq and Ian Mackie by Goubault-Larrecq, Jean Mackie, I Publication details: Dordrecht ; Boston Kluwer Academic c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 GOU.
	4.		Theory reasoning in connection calculi Peter Baumgartner by Baumgartner, Peter Publication details: Berlin Springer c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 BAU.
	5.		Compositionality : the significant difference : international symposium, COMPOS '97, bad Malente, Germany, September 1997 : revised lectures Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.) by Roever, W. P. de Langmaack, Hans Pnueli, A COMPOS '97 (1997 : Malente, Germany) Publication details: Berlin Springer c1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 004.35 DE.
	6.		Deduction systems Rolf Socher-Ambrosius, Patricia Johann by Socher-Ambrosius, Rolf Johann, Patricia Publication details: Berlin Springer c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3028551 SOC.
	7.		Diagrammatic representation and reasoning Michael Anderson, Bernd Meyer, and Patrick Olivier (eds.) by Anderson, Michael Meyer, Bernd Olivier, Patrick Publication details: Berlin Springer c2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 ART.
	8.		Efficient checking of polynomials and proofs and the hardness of approximation problems Madhu Sudan by Sudan, Madhu Publication details: Berlin Springer-Verlag 1995 Availability: Items available for loan: Anna Centenary Library (1)Call number: 512.9422 MAD.
	9.		Isabelle/HOL : a proof assistant for higher-order logic Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel by Nipkow, Tobias Paulson, Lawrence C Wenzel, Markus Publication details: Berlin ; New York Springer c2002 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 NIP.
	10.		Lectures on proof verification and approximation algorithms Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.) by Mayr, Ernst W Prömel, H. J Steger, Angelika Publication details: Berlin Springer 1998 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.14 MAY.
	11.		Logic programming : operational semantics and proof theory James H. Andrews by Andrews, James H Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: Anna Centenary Library (2)Call number: 005.131 AND, ...
	12.		Logical frameworks edited by Gérard Huet, G. Plotkin by Huet, Gérard Plotkin, G Publication details: Cambridge Cambridge University Press 1991 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 HUE.
	13.		Handbook of automated reasoning editors, Alan Robinson and Andrei Voronkov by Robinson, J. A Voronkov, A Publication details: Amsterdam ; New York ; Cambridge, MA Elsevier, MIT Press c2001 Availability: Items available for loan: Anna Centenary Library (2)Call number: QA76.9.A96 H35 2001 511.3, ...
	14.		Handbook of automated reasoning editors, Alan Robinson and Andrei Voronkov by Robinson, J. A Voronkov, A Publication details: Amsterdam ; New York ; Cambridge, MA Elsevier, MIT Press c2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 ROB.2.
	15.		A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia Jacques Fleuriot by Fleuriot, Jacques Edition: 1st ed Publication details: Berlin Springer 2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.333 FLE.
	16.		A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia Jacques Fleuriot by Fleuriot, Jacques Edition: 1st ed Publication details: Berlin Springer 2001 Availability: No items available.
	17.		Automated deduction in equational logic and cubic curves W. McCune, R. Padmanabhan by McCune, W Padmanabhan, R Publication details: New York Springer c1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 006.3 MCC.
	18.		No cover image available Automated mathematical induction edited by H. Zhang by Zhang, H Publication details: Boston Kluwer Academic c1996 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.22 ZHA.
	19.		Automated reasoning and its applications : essays in honor of Larry Wos edited by Robert Veroff, with Gail W. Pieper by Pieper, Gail W Veroff, Robert Wos, Larry Publication details: Cambridge, Mass MIT Press c1997 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 VER.
	20.		Automated theorem proving in software engineering Johann M. Schumann ; foreword by Donald Loveland by Schumann, Johann M Publication details: Berlin Springer c2001 Availability: Items available for loan: Anna Centenary Library (1)Call number: 005.1 SCH.

Refine your search

Availability

Authors

Item types

Topics

Your search returned 20 results.

Find us on the map