Cover image
Normal view MARC view ISBD view

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. ill.ISBN: 0198537808.Subject(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 for this item.

Log in to your account to post a comment.

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
Ansvarig för sidan: Biblioteket