Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Artificial Intelligence

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Editors: Calmet, Jaques, Ida, Tetsuo, Wang, Dongming (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39730-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-39728-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Interactive Mathematical Documents

    Pages 1-1

    Cohen, Arjeh M.

  • Algebra and Geometry

    Pages 2-2

    Hironaka, Heisuke

  • An Inductive Inference System and Its Rationality

    Pages 3-17

    Li, Wei

  • Semantic Guidance for Saturation Provers

    Pages 18-24

    McCune, William

  • Labeled @-Calculus: Formalism for Time-Concerned Human Factors

    Pages 25-39

    Mizutani, Tetsuya (et al.)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-540-39730-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-39728-1
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Artificial Intelligence and Symbolic Computation
Book Subtitle
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Editors
  • Jaques Calmet
  • Tetsuo Ida
  • Dongming Wang
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4120
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39730-4
DOI
10.1007/11856290
Softcover ISBN
978-3-540-39728-1
Edition Number
1
Number of Pages
XIII, 269
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.