9783540283720 - theorem proving in higher order logics: 18th international conference, tphols 2005, oxford, uk, august 22-25, 2005, proceedings: 3603 di hurd, joe; melham, tom (15 risultati)

Perfeziona la tua ricerca

  • Libri (15)

a

Fascia di prezzo personalizzata (EUR)

a