![](/img/cover-not-exists.png)
Software tools for first-order logic
R. James Cunningham, Silvana Zappacosta-AmboldiVolume:
13
Year:
1983
Language:
english
Pages:
7
DOI:
10.1002/spe.4380131106
File:
PDF, 420 KB
english, 1983