skip to main content

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)

Buscando em bases de dados remotas. Favor aguardar.