Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
Theorem Proving in Higher Order Logics
- Indbinding:
- Paperback
- Sideantal:
- 364
- Udgivet:
- 7. August 2002
- Størrelse:
- 155x20x235 mm.
- Vægt:
- 552 g.
Leveringstid:
2-3 uger
Forventet levering: 20. Juli 2024
Brugerbedømmelser af Theorem Proving in Higher Order Logics
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Theorem Proving in Higher Order Logics findes i følgende kategorier:
- Business og læring > Computer og IT
- Kunst og kultur > Arkitektur og design
- Økonomi, finans, erhvervsliv og ledelse
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Softwareudvikling
- Databehandling og informationsteknologi > Informatik > Matematisk datateori
- Databehandling og informationsteknologi > Informatik > Systemanalyse og systemdesign
- Databehandling og informationsteknologi > Informatik > Dataarkitektur og logisk design