Constructive negation by bottom-up computation of literal answers

  1. Álvez, J.
  2. Lucio, P.
  3. Orejas, F.
Actas:
Proceedings of the ACM Symposium on Applied Computing

Año de publicación: 2004

Volumen: 2

Páginas: 1468-1475

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus