Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

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

[img]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