Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
LPAR (8th 2001 Havana, Cuba) Robert Nieuwenhuis; A Voronkov 1959- (Andreæi)
Berlin Springer 2001
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2250 ) e outros locais(Acessar)