Logic programming and automated reasoning proceedings
Russian Conference on Logic Programming, 3., St. Petersburg, 1992 Andrei Voronkov
Berlin Springer 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.624 e.1 ) e outros locais(Acessar)