Il libro è attualmente esaurito
Acquisto del libro
First order logic and automated theorem proving, Melvin Fitting
- Lingua
- Pubblicato
- 1996
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.