Gå direkt till innehållet
Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
Spara

Theorem Proving in Higher Order Logics

Lägsta pris på PriceRunner
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
Undertitel
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
ISBN
9783540482567
Språk
Engelska
Utgivningsdatum
2003-07-31
Tillgängliga elektroniska format
  • PDF - Adobe DRM
Läs e-boken här
  • E-boksläsare i mobil/surfplatta
  • Läsplatta
  • Dator