Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings
International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia) H Ganzinger 1950- (Harald); David A McAllester; A Voronkov 1959- (Andreæi)
Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-
Berlin Springer-Verlag New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1705 e.1 ) e outros locais(Acessar)