Table of contents

  1. Front Matter
  2. Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso
    Pages 1-12
  3. M. Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, M. Aso et al.
    Pages 13-24
  4. T. Maruyama, K. Hirata, H. Tanaka, T. Moto-oka
    Pages 25-34
  5. H. Matsuda, M. Kohata, T. Masuo, Y. Kaneda, S. Maekawa
    Pages 35-43
  6. Etsuo Itoh, Hiroshi Nakagawa
    Pages 44-55
  7. H. Ito, H. Ueno
    Pages 78-89
  8. Hidehisa Takahashi, Etsuya Shibayama
    Pages 90-99
  9. Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya
    Pages 108-116
  10. T. Aoyagi, M. Fujita, T. Moto-oka
    Pages 128-137
  11. S. Kono, T. Aoyagi, M. Fujita, H. Tanaka
    Pages 138-147
  12. Jiro Tanaka, Takashi Yokomori, Makoto Kishishita
    Pages 156-167
  13. Kazunori Ueda
    Pages 168-179
  14. M. Kishimoto, T. Shinogi, Y. Kimura, A. Hattori
    Pages 192-203

About these proceedings

Keywords

Compiler Constraint Debugging Parser Prolog algorithms communication heuristics knowledge knowledge representation logic logical reasoning machine translation programming programming language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16479-0
  • Copyright Information Springer-Verlag 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16479-1
  • Online ISBN 978-3-540-39820-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace