Automation Of Reasoning
Classical Papers On Computational Logic 1957-1966
- Collana:
- Symbolic Computation
- EAN:
9783540120438
- ISBN:
3540120432
- Pagine:
- 540
- Formato:
- Hardback
- Lingua:
- Tedesco
Acquistabile con
o la
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti