Più di un milione di libri, a un clic di distanza!
Bookbot
Il libro è attualmente esaurito

Mechanizing inductive theorem proving in conditional theories

Parametri

Acquisto del libro

Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus

Lingua
Pubblicato
1995
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione