Kanger's Choices in Automated Reasoning

Degtyarev, Anatoli and Voronkov, Andrei (2001) Kanger's Choices in Automated Reasoning. In: Collected Papers of Stig Kanger with Essays on his Life and Work. KLUWER ACADEMIC PUBLISHERS GROUP, pp. 53-68. ISBN 1-4020-0111-8

Postscript - Repository staff only - Requires a viewer, such as GSview
320Kb

Abstract

This article explains these choices and their place in modern automated deduction.

Item Type:	Book Section
Subjects:	UNSPECIFIED
ID Code:	893
Deposited By:	Dr Anatoli Degtyarev
Deposited On:	08 Nov 2007 08:31
Last Modified:	08 Nov 2007 08:31

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007