Computer-Aided Reasoning: Acl2 Case Studies
indgår i Advances in Formal Methods serien
Du sparer
0%
ift. normalprisen
Spar
0%
- Indbinding:
- Hardback
- Sideantal:
- 648
- Udgivet:
- 1. juni 2000
- Ukendt - mangler pt..
Forlænget returret til d. 31. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Brugerbedømmelser af Computer-Aided Reasoning: Acl2 Case Studies
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 Computer-Aided Reasoning: Acl2 Case Studies findes i følgende kategorier:
- Business og læring > Computer og IT
- Sprog og lingvistik
- Teknologi, ingeniørvidenskab og landbrug > Maskinteknik og materialer > Produktionsteknik > Computer aided manufacture (CAM)
- Databehandling og informationsteknologi > Grafisk IT og digitale medier > Computer-aided design (CAD)
- Databehandling og informationsteknologi > Programmering / softwareudvikling
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens > Ekspertsystemer og vidensbaserede systemer