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

The Inverse Method

Degtyarev, Anatoli and Voronkov, Andrei (2001) The Inverse Method. In: Handbook of Automated Reasoning. Elsevier and MIT Press, pp. 179-272. ISBN 0-444-50813-9, 0-262-18223-8

[img]Postscript - Repository staff only - Requires a viewer, such as GSview

Official URL:

Item Type:Book Section
ID Code:890
Deposited By:Dr Anatoli Degtyarev
Deposited On:08 Nov 2007 08:32
Last Modified:08 Nov 2007 08:32

Repository Staff Only: item control page