A computational logic /
Sparad:
| Huvudupphovsman: | |
|---|---|
| Övriga upphovsmän: | |
| Materialtyp: | Bok |
| Språk: | English |
| Publicerad: |
New York :
Academic Press,
c1979.
|
| Serie: | ACM monograph series
|
| Ämnen: |
| Beskrivning: | Includes index. |
|---|---|
| Fysisk beskrivning: | xiv, 397 p. ; 24 cm. |
| Bibliografi: | Bibliography: p. 385-387. |
| ISBN: | 0121229505 |