Proof Theory and Automated Deduction (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Proof Theory and Automated Deduction

Proof Theory and Automated Deduction

(Bog, Paperback / softback, Engelsk)
Forfattere: Jean Goubault-Larrecq, I. Mackie
Proof Theory and Automated Deduction
Forlag: Kluwer Academic Publishers

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Kluwer Academic Publishers
Forfattere Jean Goubault-Larrecq, I. Mackie
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 1997
Udgivelsesdato 30-11-2001
Første udgivelsesår 2001
Serie Applied Logic Series
Illustrationer 444 p.
Originalsprog United States
Sideantal 444
Indbinding Paperback / softback
Forlag Kluwer Academic Publishers
Sideoplysninger 444 pages, 444 p.
Mål 235 x 155
ISBN-13 / EAN-13 9781402003684