Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Cum să cumpăr
Ajutor
Livrare
Packeta 15 lei
Easybox 20 lei
Cargus 25 lei
FAN 25 lei
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje
Creați-vă un cont gratuit
▸
Gol :-(
0
Automated Theorem Proving
Limba
engleză
engleză
Carte
Carte broșată
This text and software package introduces readers to automated theorem proving, while providing two...
Descrierea completă
Codul Libristo: 02174450
?
380 b
380 b
765
lei
În depozitul extern
Expediem în 14-18 zile
30 de zile pentru retur bunuri
Ar putea de asemenea, să te intereseze
/
Carte broșată
359
lei
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. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.
Informații despre carte
Titlu complet
Automated Theorem Proving
Autor
Monty Newborn
Limba
engleză
engleză
Legare
Carte - Carte broșată
Data publicării
2013
Număr pagini
231
EAN
9781461265191
ISBN
1461265193
Codul Libristo
02174450
Editura
Springer-Verlag New York Inc.
Greutatea
385
Dimensiuni
155 x 235 x 14
