Programming with Higher-Order Logic
| Glavni avtor: | |
|---|---|
| Format: | Elektronski eKnjiga |
| Jezik: | English |
| Izdano: |
Cambridge University Press,
08/05/2012
|
| Izdaja: | 1 |
| Teme: | |
| Online dostop: | Full text available on Cambridge University Press Off-campus access |