Resolution-based deduction / P.M. Wognum, N.J.I. Mars
mainEntity
Resolution-based deduction / P.M. Wognum, N.J.I. Mars
about
author
contributor
inLanguage
isbn
903650113X
mainEntityOfPage
name
Resolution-based deduction
numberOfPages
publication
sameAs
label
Resolution-based deduction / P.M. Wognum, N.J.I. Mars