Get 40% off of select print and eBooks in Engineering & Materials Science!

Lecture Notes in Computer Science

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

Editors: Bibel, Wolfgang, Kowalski, R. (Eds.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38140-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-10009-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Using meta-theoretic reasoning to do algebra

    Pages 1-13

    Aiello, Luigia (et al.)

  • Generating contours of integration: An application of PROLOG in symbolic computing

    Pages 14-23

    Belovári, Gábor (et al.)

  • Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation

    Pages 24-38

    Bundy, Alan (et al.)

  • Proofs as descriptions of computation

    Pages 39-52

    Goad, C. A.

  • Program synthesis from incomplete specifications

    Pages 53-62

    Guiho, Gérard (et al.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38140-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-10009-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
5th Conference on Automated Deduction
Book Subtitle
Les Arcs, France, July 8-11, 1980
Editors
  • Wolfgang Bibel
  • R. Kowalski
Series Title
Lecture Notes in Computer Science
Series Volume
87
Copyright
1980
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38140-2
DOI
10.1007/3-540-10009-1
Softcover ISBN
978-3-540-10009-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 388
Topics