Handbook of logic in computer science. Vol. 2, Background - computational structures
Contributor(s): Abramsky, Samson | Gabbay, Dov M 1945- | Maibaum, Thomas S. E 1947-.
Material type:
TextPublisher: Oxford Clarendon Press 1992Description: x, 571 s.ISBN: 0198537611.Subject(s): Computer science | Logic, Symbolic and mathematical | Computer science | Logic, Symbolic and mathematical | Datavetenskap | Symbolisk logik | Databehandling Allmänt | Databehandling | DatalogiDDC classification: 004.015113 Other classification: Pub | 03D | 68-02 | QA 9 | 004 | Pub
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 004 (Browse shelf) | Available | 40000004886 |
Reprinted 2002
S. 555-563: Bibliografi
There are no comments for this item.