Automated Theorem Proving

Bookshop

€68,51
€68,51 €70,63 Väljamüük

Meil on laos

Eeldatav tarneaeg
Venipak pakiautomaat 22.–27. juuni
DHL Express 20.–21. juuni
Autorius Bookshop
Leidimo metai 1984 m.
Viršelis Minkštas viršelis
ISBN 9780821850275

Automated Theorem Proving

Automated Theorem Proving by Special Session on Automatic Theorem Proving (1983 Denver, Colo.).

Published by American Mathematical Society, (1984), Paperback, 360 pages.

Topics: Automatic theorem proving, Congresses, Mathematics, history.

Automated Theorem Proving

€68,51
€68,51 €70,63