Automated Theorem Proving

Book information

Publisher

Vieweg+Teubner Verlag

Year

1982

ISBN

978-3-528-08520-9, 978-3-322-90100-2

DOI

10.1007/978-3-322-90100-2

Language

german

Format

PDF

Filesize

7 MB (7331706 bytes)

Edition

1

Pages

292\306

Orientation

yes

Scanned

yes

Time added

2013-08-01 04:00:00