Constructive negation by bottom-up computation of literal answers

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

Argitalpen urtea: 2004

Alea: 2

Orrialdeak: 1468-1475

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus