Ładuje się......

Programming with Higher-Order Logic /

Opis bibliograficzny
1. autor: Miller,, Dale
Kolejni autorzy: Nadathur,, Gopalan
Format: Printed Book
Język:English
Wydane: New York: Cambridge University Press, 2012.
Hasła przedmiotowe:

Kannur University

Szczegóły zapisu Kannur University
Sygnatura: 005.115 MIL/
Egzemplarz Możliwość dostępu nieznana