Automated Development of Fundamental Mathematical Theories - Automated Reasoning Series - Art Quaife - Boeken - Kluwer Academic Publishers - 9780792320210 - 30 november 1992
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 216,49

Besteld in een afgelegen magazijn

Verwachte levering 7 - 15 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

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 Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 30 november 1992
ISBN13 9780792320210
Uitgevers Kluwer Academic Publishers
Pagina's 291
Afmetingen 156 × 234 × 17 mm   ·   616 g
Taal en grammatica Engels  

Bekijk alles van Art Quaife ( bijv. Hardcover Book )