Häftad, Engelska, 2008
Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Av Dov Gabbay, Renate A. Schmidt, Andrzej Szalas
Del i serien Studies in Logic: Mathematical Logic and Foundations
302 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2008-04-17
- Mått: 156 x 234 x 17 mm
- Vikt: 451 g
- Format: Häftad
- Språk: Engelska
- Serie: Studies in Logic: Mathematical Logic and Foundations
- Antal sidor: 320
- Förlag: College Publications
- ISBN: 9781904987567
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.