Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Häftad, Engelska, 2018
909 kr
Slutsåld
Produktinformation
- Utgivningsdatum2018-09-29
- FormatHäftad
- SpråkEngelska
- Upplaga1
- FörlagSAGE Publications
- ISBN9781614999195
Hoppa över listan
Du kanske också är intresserad av
- Nyhet
Del 6
Del 1
- Nyhet
Del 2
- Nyhet
Del 3
- Nyhet
- Nyhet
- Nyhet