| 000 | 00400nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 160910s9999 xx 000 0 und d | ||
| 040 | _cSGVU Library | ||
| 041 | _cEng. | ||
| 100 | _aHuth, Michael | ||
| 245 |
_aLogic in Computer Science Modeling & Reasoning _cby Michael Huth |
||
| 260 |
_bCambridge uni. Press _c2007 |
||
| 520 | _aEngineering | ||
| 650 | _aComputer & IT | ||
| 942 |
_cBOOKS _k005.133 |
||
| 999 |
_c12385 _d12385 |
||