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	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	perjantai 24. toukokuuta 2013
ISBN13	9781461265191
Tuottaja	Springer-Verlag New York Inc.
Sivujen määrä	231
Mitta	155 × 235 × 13 mm · 353 g
Kieli	English

Näytä kaikki

Lisää tuotteita Monty Newborn

Katso kaikki joka sisältää Monty Newborn ( Esim. Paperback Book Ja Hardcover Book )