Cover image

Handbook of logic in computer science. Vol. 4, Semantic modelling

Contributor(s): Abramsky, S | Gabbay, Dov M. 1945- | Maibaum, T. S. E
Material type: TextTextPublisher: Oxford Clarendon Press 1995Description: 651 s. illISBN: 0198537808Subject(s): Datavetenskap | Computer science | Computers, Mathematical logic | Logic, Symbolic and mathematical | Databehandling Allmänt | Databehandling | Datalogi | Logik | SemantikDDC classification: 004 Other classification: Pub | QA 9 | 004 | Pub
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode
Book (loan) Gräsvik
004 (Browse shelf) Available 40000006545

Reprinted 2002

There are no comments on this title.

to post a comment.

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket