A Survey of Automated Deduction
- Authors
- A. Bundy
- A. Ireland
- C. Suttner
- C. Walther
- C. Walther
- D. Basin
- D. Hutter
- D. Kapur
- D. Kapur
- E. Borger
- E.L. Lusk
- G. Huet
- G. Nelson
- H.J. Ohlbach
- J. A. Robinson
- J. Heijenoort van
- J. Herbrand
- J. Jaffar
- J. Y. Halpern
- K. Gödel
- L. A. Wallen
- L. Bachmair
- L. Hodes
- L. Wos
- L.C. Paulson
- M. Davis
- M. E. Stickel
- M. Hanus
- M. J. Gordon
- N. Dershowitz
- P. B. Andrews
- P. C. Gilmore
- P. Martin-Lof
- R. A. Overbeek
- R. E. Bryant
- R. E. Fikes
- R. E. Shostak
- R. W. Weyhrauch
- S. Biundo
- S. Ceri
- S.-C. Chou
- S.H. Muggleton
- T. Walsh
- W. McCune
- W. W. Bledsoe
- Publication date
- Publisher
- 'Springer Science and Business Media LLC'
- Doi
Abstract
Abstract is not available.Similar works
Available Versions
Last time updated on 30/03/2019