Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Böcker - Kluwer Academic Publishers - 9780792320210 - 30 november 1992
Om omslag och titel inte matchar är det titeln som gäller

Art Quaife
Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series 1993 edition

Pris
SEK 2.289

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.

291 pages, biography

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 30 november 1992
ISBN13 9780792320210
Utgivare Kluwer Academic Publishers
Antal sidor 291
Mått 156 × 234 × 17 mm   ·   616 g
Språk Engelska  

Se alt med Art Quaife ( t.ex. Inbunden Bok )