Automated Theorem Proving

After 25 Years

Omschrijving

Er is geen omschrijving gevonden.

€ 65,80
Paperback / softback
 
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
Titel
Automated Theorem Proving
Uitgever
American Mathematical Society
Jaar
1984
Taal
Engels
Pagina's
Gewicht
499 gr
EAN
9780821850275
Afmetingen
260 x 178 x 25 mm
Bindwijze
Paperback / softback

U ontvangt bij ons altijd de laatste druk!


Rubrieken

Boekstra