Cover image

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier

By: Gallier, Jean HMaterial type: TextTextPublisher: New York Wiley cop. 1987Description: 511 sISBN: 0471615463Subject(s): Logik | Matematik Allmänt | Datalogi | LogikDDC classification: 511.36028563 Other classification: Dca | 511 | Ta
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
511 (Browse shelf) Available 40000006371

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
Ansvarig för sidan: Biblioteket