Invariant-free clausal temporal resolution

  1. Gaintzarain, J.
  2. Hermo, M.
  3. Lucio, P.
  4. Navarro, M.
  5. Orejas, F.
Aldizkaria:
Journal of Automated Reasoning

ISSN: 0168-7433,  1573-0670

Argitalpen urtea: 2013

Alea: 50

Zenbakia: 1

Orrialdeak: 1-49

Mota: Artikulua

DOI: 10.1007/S10817-011-9241-2 GOOGLE SCHOLAR

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus