Skip to main content
  • Conference proceedings
  • © 1970

Symposium on Automatic Demonstration

Held at Versailles/France, Decembre 1968

Editors:

Part of the book series: Lecture Notes in Mathematics (LNM, volume 125)

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (17 papers)

  1. Front Matter

    Pages N2-VI
  2. Allocution d'ouverture

    • M. Laudet
    Pages 1-5
  3. A linear format for resolution

    • D. W. Loveland
    Pages 147-162
  4. Refinement theorems in resolution theory

    • David Luckham
    Pages 163-190
  5. Definitional approach to automatic demonstration

    • M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger
    Pages 191-193
  6. Heuristic interest of using metatheorems

    • Jacques Pitrat
    Pages 194-206
  7. A proof procedure with matrix reduction

    • Dag Prawitz
    Pages 207-214
  8. Axiom systems in automatic theorem proving

    • George Robinson, Lawrence Wos
    Pages 215-236
  9. Constructive validity

    • Dana Scott
    Pages 237-275
  10. Paramodulation and set of support

    • Lawrence Wos, George Robinson
    Pages 276-310
  11. Back Matter

    Pages 311-315

Keywords

  • Datenverarbeitung
  • Mathematica
  • proof
  • proof theory
  • theorem

Bibliographic Information

  • Book Title: Symposium on Automatic Demonstration

  • Book Subtitle: Held at Versailles/France, Decembre 1968

  • Editors: M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1970

  • Softcover ISBN: 978-3-540-04914-2Published: 01 January 1970

  • eBook ISBN: 978-3-540-36262-3Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VI, 310

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions