Barcelona

Authors
R.Nieuwenhuis,J.M.Rivero,M.A.Vallejo
Citation
R.nieuwenhuis,j.m.rivero,m.a.vallejo, Barcelona, Journal of automated reasoning , 18(2), 1997, pp. 171-176
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
2
Year of publication
1997
Pages
171 - 176
Database
ACNP
SICI code