article · 2001

The Inverse Method

Anatoli Degtyarev, Andrei Voronkov, Second Readers Ullrich Hustadt, Gregory Mints, Frank Pfenning, Renate Schmidt

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

Degtyarev, A., Voronkov, A., Hustadt, S. R. U., Mints, G., Pfenning, F., & Schmidt, R. (2001). The Inverse Method.

MLA 9

Degtyarev, Anatoli, et al. “The Inverse Method.” 2001.

Chicago

Degtyarev, Anatoli, Andrei Voronkov, Second Readers Ullrich Hustadt, Gregory Mints, Frank Pfenning, and Renate Schmidt. 2001. “The Inverse Method.”

Harvard

Degtyarev, A. et al. (2001) ‘The Inverse Method’.

BibTeX

@article{degtyarev2001inverse,
  title = {{The Inverse Method}},
  author = {Degtyarev, Anatoli and Voronkov, Andrei and Hustadt, Second Readers Ullrich and Mints, Gregory and Pfenning, Frank and Schmidt, Renate},
  year = {2001}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.