Amazon cover image
Image from Amazon.com

Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie

By: Goubault-Larrecq, JeanContributor(s): Mackie, IMaterial type: TextTextSeries: Applied logic series ; v.6Publication details: Dordrecht London Kluwer Academic c1997 Description: xv,424p 25cmISBN: 0792345932Subject(s): Automatic theorem proving | Proof theory | Logik | Matematisk logik | Matematisk programmeringDDC classification: 511.3 Other classification: Ta:d | Dca | 511 | Dca
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
Book (loan) Gräsvik
511 Available 80013801749

Bibliography: p407-413. - Includes index

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

Summon
Låneinformation
Söka artiklar och böcker
Kontakt och Öppettider
Om BTH
Behandling av personuppgifter