Advertisement

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
  15. Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima
    Pages 204-213
  16. Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda
    Pages 214-225
  17. H. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki
    Pages 226-235
  18. J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Y. T. Kim
    Pages 236-245
  19. Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-oka
    Pages 246-255
  20. Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta
    Pages 256-265
  21. Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura
    Pages 287-298
  22. Isao Sugiyai, Keiko Ishikawa
    Pages 299-311

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering