Algebraic and logic programming 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
Michael Hanus 1959-; J Heering; K Meinke (Karl); International Conference on Algebraic and Logic Programming (6th 1997 Southampton, England); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd 1997 Southampton, England)
Berlin Springer-Verlag New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1298 ) e outros locais(Acessar)