Automated Theorem Proving

Bookshop

€68,51
€68,51 €70,63 Išpardavimas

Turime sandėlyje

Numatomas pristatymas
Venipak paštomatas birželio 22–27 d.
DHL Express birželio 20–21 d.
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