Cover image
Normal view MARC view ISBD view

First-order logic and automated theorem proving / Melvin Fitting

By: Fitting, Melvin 1942-.
Material type: TextTextSeries: Graduate texts in computer science99-2254991-3. Publisher: New York Springer-Vlg cop. 1996Edition: 2. ed.Description: 326 s. ill.ISBN: 0387945938.Subject(s): Automatic theorem proving | Logic, Symbolic and mathematical | Matematisk logik | Symbolisk logik | Logik | Databehandling Allmänt | First-order logic | Logik | Matematisk logik | Symbolisk logikDDC classification: 005.131 Other classification: Dca | 03 | Dca | 511 | 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
511 (Browse shelf) Available 80012452084
Book (loan) Gräsvik
511 (Browse shelf) Available 40000007722

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