×

Found 7 Documents (Results 1–7)

Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. (English) Zbl 0860.03004

CSLI Lecture Notes. 42. Stanford, CA: CSLI, Center for the Study of Language and Information. xvii, 255 p. (1994).
MSC:  03-01 03-04 03B10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Main Field

all top 3

Software