Articles liés à Automated Theorem Proving: Automated reasoning, Mathematical...

Automated Theorem Proving: Automated reasoning, Mathematical proof, Agda (theorem prover), Mathematical theorem, Computer program, Symbolic ... Proof complexity, First- order resolution - Couverture souple

 
9786130767396: Automated Theorem Proving: Automated reasoning, Mathematical proof, Agda (theorem prover), Mathematical theorem, Computer program, Symbolic ... Proof complexity, First- order resolution
Couverture souple
ISBN 10 : 6130767390 ISBN 13 : 9786130767396
Editeur : Alphascript Publishing, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Alphascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130767390
ISBN 13 
9786130767396
Reliure
Broché
Nombre de pages
68
Éditeur
Miller Frederic P., Vandome Agnes F., McBrewster John
Coordonnées du fabricant
non disponible
Personne responsable
non disponible