The Inverse Method

Autoria(s): Degtyarev, Anatoli; Voronkov, Andrei
Data(s)

2001
Formato

application/postscript
Identificador

http://calcium.dcs.kcl.ac.uk/890/1/handbookar_inverse.ps

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
Publicador

Elsevier and MIT Press
Relação

http://www.elsevier.com/wps/find/bookdescription.cws_home/622118/description

http://calcium.dcs.kcl.ac.uk/890/
Tipo

Book Section

PeerReviewed
Acesso ao item digital