Automated Theorem Proving

Bookshop

€68,51
€68,51 €70,63 Izpārdošana

Mums ir noliktavā

Paredzamā piegāde
Venipak pakomāts 22.–27. jūnija
DHL Express 20.–21. jūnija
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