Cover image
Normal view MARC view ISBD view

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

By: Gallier, Jean H.
Material type: TextTextPublisher: New York Wiley cop. 1987Description: 511 s.ISBN: 0471615463.Subject(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 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
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket