Övrigt, Engelska, 2014
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Av David Basin, Burkhart Wolff
667 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2014-03-12
- Format: Övrigt
- Språk: Engelska
- Antal sidor: 380
- Förlag: Springer
- ISBN: 9783662199480
Utforska kategorier
- Inga kategorier tillgängliga.
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.