2
TÍTULO: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
AUTORES: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLICAÇÃO: 2000, FONTE: CL, VOLUME: 1861
INDEXADO EM: DBLP