Black November: Store besparelser hele måneden Vi feirer Black Friday gjennom hele november måned med store besparelser
Utvidet returrett til 31. januar 2025
Hjelp
Logg inn
  1. Hjem
  2. Bøker
  3. Bedrift og læring
  4. Vitenskap
  5. Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics
  • Språk:
  • Engelsk
  • ISBN:
  • 9783662199480
  • Bindende:
  • Paperback
  • Sider:
  • 380
  • Utgitt:
  • 12. mars 2014
  • Dimensjoner:
  • 156x234x0 mm.
  • Vekt:
  • 533 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 22. desember 2024
Utvidet returrett til 31. januar 2025

Brukervurderinger av Theorem Proving in Higher Order Logics



Andre har også kjøpt..
Finn lignende bøker
Boken Theorem Proving in Higher Order Logics finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.