Cover image

First-order logic and automated theorem proving / Melvin Fitting

By: Fitting, Melvin 1942-Material type: TextTextSeries: Graduate texts in computer science99-2254991-3Publisher: New York Springer-Vlg cop. 1996Edition: 2. edDescription: 326 s. illISBN: 0387945938Subject(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)

Adress: Biblioteket, Blekinge Tekniska Högskola, 371 79 Karlskrona
Telefon: 0455 - 38 51 01
E-post: biblioteket@bth.se
Ansvarig för sidan: Biblioteket