|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Providence, Rhode Island : American Mathematical Society, [1984]
|
|
|
1 online resource (371 pages) : illustrations
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9780821876145 (e-book)
|
|
|
ISBN 082185027X (pbk.)
|
|
|
ISBN 9780821850275
|
|
|
Contemporary mathematics, ISSN 0271-4132 ; volume 29
|
|
|
Print version: Special Session on Automatic Theorem Proving. Automated theorem proving : after 25 years. Providence, Rhode Island : American Mathematical Society, [1984] ix, 360 pages ; 26 cm. Contemporary mathematics ; v. 29 ISBN 9780821850275
|
|
|
|
|
|
|
|
|
"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--Title page verso
|
|
|
Includes bibliographies
|
|
|
|
|
|
|
|
|
001807945
|
|
|
full
|
|
|
(Au-PeEL)EBL3112848
|
|
|
(CaPaEBR)ebr10873011
|
|
|
(MiAaPQ)EBC3112848
|
|
|
(OCoLC)922980165
|
Dotazy a připomínky