Učitavanje...
Programming with Higher-Order Logic /
Glavni autor: | |
---|---|
Daljnji autori: | |
Format: | Printed Book |
Jezik: | English |
Izdano: |
New York:
Cambridge University Press,
2012.
|
Teme: |
Kannur University
Signatura: |
005.115 MIL/ |
---|---|
Primjerak | Prikaz statusa u stvarnom vremenu nije dostupan |