Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1980

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Editors:

  1. Wolfgang Bibel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Kowalski
    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 87)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 papers)

  1. Front Matter

    PDF

  2. Using meta-theoretic reasoning to do algebra

    • Luigia Aiello, Richard W. Weyhrauch
    Pages 1-13

  5. Proofs as descriptions of computation

    • C. A. Goad
    Pages 39-52

  6. Program synthesis from incomplete specifications

    • Gérard Guiho, Christian Gresse
    Pages 53-62

  9. Decision procedures for some fragments of set theory

    • A. Ferro, E. G. Omodeo, J. T. Schwartz
    Pages 88-96

  10. Simplifying interpreted formulas

    • D. W. Loveland, R. E. Shostak
    Pages 97-109

  12. Reasoning by plausible inference

    • Leonard Friedman
    Pages 126-142

  13. Logical support in a time-varying model

    • Alan M. Thompson
    Pages 143-153

  15. An experiment with "Edinburgh LCF"

    • Jacek Leszczylowski
    Pages 170-181

  17. Adding dynamic paramodulation to rewrite algorithms

    • Paul Y Gloess, Jean-Pierre H Laurent
    Pages 195-207

  18. Hyperparamodulation: A refinement of paramodulation

    • L. Wos, R. Overbeek, L. Henschen
    Pages 208-219

  19. The AFFIRM theorem prover: Proof forests and management of large proofs

    • Roddy W. Erickson, David R. Musser
    Pages 220-231
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: 5th Conference on Automated Deduction

  • Book Subtitle: Les Arcs, France, July 8-11, 1980

  • Editors: Wolfgang Bibel, Robert Kowalski

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-10009-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10009-6Published: 01 June 1980

  • eBook ISBN: 978-3-540-38140-2Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 388

  • Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation