Sciweavers

SOCO
1998
Springer

Reducing signed propositional formulas

13 years 11 months ago
Reducing signed propositional formulas
Gabriel Aguilera, Inman P. de Guzmán, Manue
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where SOCO
Authors Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde
Comments (0)