Del 11006
Intelligent Computer Mathematics
Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef
Häftad
719 kr
Simple Type Theory
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Häftad, Engelska, 2023
829 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (2)
Produktinformation
- Utgivningsdatum2023-01-02
- Mått156 x 234 x 17 mm
- Vikt440 g
- FormatHäftad
- SpråkEngelska
- Antal sidor312
- FörlagBirkhauser
- ISBN9783031211133
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Intelligent Computer Mathematics
James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban
Häftad
719 kr