11
TÍTULO: Refutation by Randomised General Resolution
AUTORES: Steven Prestwich; Inês Lynce;
PUBLICAÇÃO: 2007, FONTE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXADO EM: Scopus
Página 2 de 2. Total de resultados: 11.