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)