Ładuje się......
Programming with Higher-Order Logic /
1. autor: | |
---|---|
Kolejni autorzy: | |
Format: | Printed Book |
Język: | English |
Wydane: |
New York:
Cambridge University Press,
2012.
|
Hasła przedmiotowe: |
Kannur University
Sygnatura: |
005.115 MIL/ |
---|---|
Egzemplarz | Możliwość dostępu nieznana |