Lecture Notes in Mathematics

Symposium on Automatic Demonstration

Held at Versailles/France, Decembre 1968

Editors: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-540-36262-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.95
price for USA in USD
  • ISBN 978-3-540-04914-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock

Table of contents (17 chapters)

Table of contents (17 chapters)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-540-36262-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.95
price for USA in USD
  • ISBN 978-3-540-04914-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

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
Series Volume
125
Copyright
1970
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36262-3
DOI
10.1007/BFb0060620
Softcover ISBN
978-3-540-04914-2
Series ISSN
0075-8434
Edition Number
1
Number of Pages
VI, 310
Topics