The Propositional Formula Checker HerrHugo

Authors
J.F.Groote:J.P.Warners
Citation
J.f.groote:j.p.warners, The Propositional Formula Checker HerrHugo, Journal of automated reasoning , 24(1/2), 2000, pp. 101-125
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
1/2
Year of publication
2000
Pages
101 - 125
Database
ACNP
SICI code