Skip to main content
Book cover
  • Conference proceedings
  • © 1982

6th Conference on Automated Deduction

New York, USA, June 7-9, 1982

Editors:

  1. D. W. Loveland
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 138)

Sections

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

    PDF

  3. STP: A mechanized logic for specification and verification

    • R. E. Shostak, Richard Schwartz, P. M. Melliar-Smith
    Pages 32-49

  4. A look at TPS

    • Dale A. Miller, Eve Longini Cohen, Peter B. Andrews
    Pages 50-69

  5. Logic machine architecture: Kernel functions

    • Ewing L. Lusk, William W. McCune, Ross A Overbeek
    Pages 70-84

  6. Logic machine architecture: Inference mechanisms

    • Ewing L. Lusk, William McCune, Ross A Overbeek
    Pages 85-108

  9. Meta-level inference and program verification

    • Leon Sterling, Alan Bundy
    Pages 144-150

  10. An example of FOL using metatheory

    • Richard W. Weyhrauch
    Pages 151-158

  11. Comparison of natural deduction and locking resolution implementations

    • S. Greenbaum, A. Nagasaka, P. O'Rorke, D. Plaisted
    Pages 159-171

  14. Deciding combinations of theories

    • Robert E. Shostak
    Pages 209-222

  15. Exponential improvement of efficient backtracking

    • Tomasz Pietrzykowski, Stanislaw Matwin
    Pages 223-239

  17. Intuitionistic basis for non-monotonic logic

    • Dov M. Gabbay
    Pages 260-273

  18. Knowledge retrieval as limited inference

    • Alan M. Frisch, James F. Allen
    Pages 274-291

  20. Proof by matrix reduction as plan + validation

    • Ricardo Caferra
    Pages 309-325
Back to top

Keywords

  • automated deduction
Back to top

Bibliographic Information

  • Book Title: 6th Conference on Automated Deduction

  • Book Subtitle: New York, USA, June 7-9, 1982

  • Editors: D. W. Loveland

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0000048

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • eBook ISBN: 978-3-540-39240-8Published: 05 October 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 389

  • Topics: Formal Languages and Automata Theory

Back to top
Access via your institution