Automated reasoning introduction and applications Larry Wos ... [et al.].
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
TUM Main Campus | QA76.9.A96A93 1984 (Browse shelf) | Available | 032612 |
Includes index