DMCA
An interactive tool for manipulating logical formulae (2006)
by
Josje Lodder
,
Johan Jeuring
,
Harrie Passier
| Citations: | 14 - 13 self |
BibTeX
@MISC{Lodder06aninteractive,
author = {Josje Lodder and Johan Jeuring and Harrie Passier},
title = {An interactive tool for manipulating logical formulae},
year = {2006}
}
Share
 |
 |
 |
 |
||
