Del 16088 - Lecture Notes in Computer Science
Superposition for Higher-Order Logic
- Nyhet
Häftad, Engelska, 2027
1 869 kr
Kommande
Produktinformation
- Utgivningsdatum2027-06-07
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- FörlagSpringer Nature Switzerland AG
- ISBN9783032016690