Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Kloof Antiquariaat.
Veroff, Robert (ed.) - Automated Reasoning and Its Applications: Essays in Honor of Larry Wos.
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Veroff, Robert (ed.) |
| Titel: | Automated Reasoning and Its Applications: Essays in Honor of Larry Wos. |
| ISBN: | 9780262220552 |
| Uitgever: | Cambridge, MA: The MIT Press, 1997. Hardcover. Dustjacket. 257 pp.- The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the ... |
| Bijzonderheid: | Conditie: als nieuw. |
| Prijs: |
€ 15,00
€ 5,50
|
| Boek bekijken | |
De verkoper zal binnen 3 werkdagen contact met u opnemen om de koop verder af te handelen.