OPAC_KOHA catalog › Results of search for 'ccl=su:"Automatic theorem proving"'

Your search returned 3 results.

	1.	Automated Model Building by Richardo Caferra by Caferra, Ricardo \| Peltier, Nicholas \| Leitsch, Alexander. Material type: Text Publication details: London Kluwer Academic Publishers 2004Availability: Items available for reference: Not for loanCall number: REF 511.3 CAF (1). : Request article Add to cart (remove)
	2.	Mechanical Theorem Proving in Geometries: basic principles Wen - Tsun Wu by WuWen, Tsun. Material type: Text Publication details: Berlin Springer Verlag 1994Availability: Items available for loan: Call number: 516.0015 WUW (1). Items available for reference: Not for loanCall number: REF 516.0015 WUW (1). Place hold Request article Add to cart (remove)
	3.	Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions by Bertot, Yves \| Casteran, Pierre. Material type: Text Publication details: Berlin Springer Verlag 2004Availability: Items available for reference: Not for loanCall number: REF 511.3 BER (1). : Request article Add to cart (remove)