Advertisement

© 1970

Symposium on Automatic Demonstration

Held at Versailles/France, December 1968

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

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

  • Book Title Symposium on Automatic Demonstration
  • Book Subtitle Held at Versailles/France, December 1968
  • Editors M. Laudet
    D. Lacombe
    L. Nolin
    M. Schützenberger
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0060620
  • Copyright Information Springer-Verlag Berlin Heidelberg 1970
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-04914-2
  • eBook ISBN 978-3-540-36262-3
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VI, 310
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking