Advertisement

Table of contents

  1. Front Matter
  2. M. V. Hermenegildo, R. I. Nasr
    Pages 40-54
  3. Yow-Jian Lin, Vipin Kumar, Clement Leung
    Pages 55-68
  4. Luís Moniz Pereira, Luís Monteiro, José Cunha, Joaquim N. Aparício
    Pages 69-83
  5. Hisao Tamaki, Taisuke Sato
    Pages 84-98
  6. Petr Štěpánek, Olga Štěpánková
    Pages 99-106
  7. Heikki Mannila, Esko Ukkonen
    Pages 122-133
  8. Peter Kursawe
    Pages 134-148
  9. Ian Foster, Steve Gregory, Graem Ringwood, Ken Satoh
    Pages 149-156
  10. Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    Pages 188-202
  11. Luís Moniz Pereira
    Pages 203-210
  12. J. Jaffar, J -L. Lassez, M. J. Maher
    Pages 223-241
  13. Akikazu Takeuchi, Koichi Furukawa
    Pages 242-254
  14. Michael Codish, Ehud Shapiro
    Pages 283-297
  15. Joxan Jaffar, Peter J. Stuckey
    Pages 313-326
  16. Alberto Martelli, Gianfranco Rossi
    Pages 327-334
  17. Michael C. McCord
    Pages 350-374
  18. Ralph Butler, Ewing Lusk, William McCune, Ross Overbeek
    Pages 375-388
  19. M. J. Maher
    Pages 410-424
  20. M. A. Nait Abdallah
    Pages 433-447
  21. Dale A. Miller, Gopalan Nadathur
    Pages 448-462
  22. C. S. Mellish
    Pages 463-474
  23. Tadashi Kanamori, Hirohisa Seki
    Pages 475-489
  24. Saumya K. Debray, David S. Warren
    Pages 490-504
  25. Richard Helm, Kim Marriott
    Pages 513-527
  26. C. J. Rawlings, W. R. Taylor, W. R. Taylor, J. Nyakairu, J. Fox, M. J. E. Sternberg
    Pages 536-543
  27. Oded Maler, Zahava Scherz, Ehud Shapiro
    Pages 544-551
  28. Katherine Morris, Jeffrey D. Ullman, Allen Van Gelder
    Pages 554-568
  29. Kotagiri Ramamohanarao, John Shepherd
    Pages 569-576
  30. D. S. Moffat, P. M. D. Gray
    Pages 577-584
  31. P. Boizumault
    Pages 585-592
  32. Martin Nilsson, Hidehiko Tanaka
    Pages 593-599

About these proceedings

Keywords

Extension Pattern Matching Prolog Resolution algorithms artificial intelligence class complexity control grammar logic logic programming machine translation natural language optimization

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16492-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16492-0
  • Online ISBN 978-3-540-39831-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace