Automated Theorem Proving: Theory and Practice - Monty Newborn - Böcker - Springer-Verlag New York Inc. - 9781461265191 - 24 maj 2013
Om omslag och titel inte matchar är det titeln som gäller

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

Monty Newborn

Pris
SEK 1.689

Beställningsvara

Förväntad leverans 29 jan - 7 feb

Våra kunder säger:

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

Finns även som:

Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition

This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.

245 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 24 maj 2013
ISBN13 9781461265191
Utgivare Springer-Verlag New York Inc.
Antal sidor 231
Mått 155 × 235 × 13 mm   ·   353 g
Språk Engelska  
Visa alla

Fler produkter med Monty Newborn

Se alt med Monty Newborn ( t.ex. Pocketbok och Inbunden Bok )