Cover image

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

Contributor(s): Abramsky, S | Gabbay, Dov M. 1945- | Maibaum, T. S. EMaterial type: TextTextPublication details: 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 library Call number Status Date due Barcode
Book (loan) Gräsvik
004 (Browse shelf (Opens below)) 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