Omslagsbild från Amazon
Bild från Amazon.com

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

Av: Medverkande: Materialtyp: TextTextSerie: Applied logic series ; v.6Utgivningsinformation:Dordrecht London Kluwer Academic c1997Beskrivning: xv,424p 25cmISBN:
  • 0792345932
Ämnen: DDC-klassifikation:
  • 511.3
Annan klassifikation:
  • Ta:d
  • Dca
  • 511
  • Dca
Betyg
    Medelbetyg: 0.0 (0 röster)
Bestånd
Exemplartyp Aktuellt bibliotek Hyllsignatur Status Förfallodatum Streckkod
Bok (Hemlån) Campus Karlskrona 511 Tillgänglig 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