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

Automated Theorem Proving

Pehmeäkantinen1984 m. Varastossa
€70,30€70,63-0%
14 päivän palautustakuuMuutitko mielesi? Voit peruuttaa tilauksesi milloin tahansa tai palauttaa sen 14 päivän kuluessa. Palautusehdot

Tietoa kirjasta

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.

KirjoittajaSpecial Session on Automatic Theorem Proving (1983 Denver, Colo.)
KustantajaAmerican Mathematical Society
Julkaistu1984 m.
KieliEnglanti
SidosasuPehmeäkantinen
ISBN9780821850275
Automated Theorem Proving
€70,30
1

Samankaltaiset kirjat

Äskettäin katsotut