Logic for computer science : foundations of automatic theorem proving /
Sparad:
| Huvudupphov: | |
|---|---|
| Materialtyp: | Bok |
| Språk: | engelska |
| Utgiven: |
Nueva York, EUA :
Wiley,
1987, c1987
|
| Ämnen: | |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
| Hyllsignum: |
511. 3 GAL
|
||
|---|---|---|---|
| Ejemplar 0280390100 |
Disponible
Préstamo 7 días a 90
|
Samling:
Colección General
|
Anmärkningar:
Ubicar en Nivel 1 Área de Colección General
|