Symposium on Automatic Demonstration

Held at Versailles/France, December 1968

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

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

Table of contents

  1. Front Matter
    Pages N2-VI
  2. M. Laudet
    Pages 1-5
  3. Andrzej Grzegorczyk
    Pages 87-100
  4. D. W. Loveland
    Pages 147-162
  5. David Luckham
    Pages 163-190
  6. M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger
    Pages 191-193
  7. Jacques Pitrat
    Pages 194-206
  8. Dag Prawitz
    Pages 207-214
  9. George Robinson, Lawrence Wos
    Pages 215-236
  10. Dana Scott
    Pages 237-275
  11. Lawrence Wos, George Robinson
    Pages 276-310
  12. Back Matter
    Pages 311-315

About these proceedings

Keywords

Datenverarbeitung Mathematica proof proof theory theorem

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0060620
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04914-2
  • Online ISBN 978-3-540-36262-3
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book