Conferência
On Unit-Refutation Complete Formulae with Existentially Quantified Variables
— 2012 — AAAI Press
Informações chave
Autores:
Publicado em
Julho 2012
Detalhes da publicação
Autores da comunidade :
João Paulo Marques da Silva
ist12570
Mikolas Janota
ist90879
Editora
AAAI Press
Local da conferência
Rome, Italy
Domínio Científico (FOS)
computer-and-information-sciences - Ciências da Computação e da Informação
Idioma da publicação (código ISO)
eng - Inglês
Acesso à publicação:
Acesso apenas a metadados