David A. Plaisted & Yunshan Zhu 
The Efficiency of Theorem Proving Strategies [PDF ebook] 
A Comparative and Asymptotic Analysis

Supporto
Copertina di David A. Plaisted & Yunshan Zhu: The Efficiency of Theorem Proving Strategies (PDF)
€43.59
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Tedesco ● Formato PDF ● ISBN 9783322938626 ● Casa editrice Vieweg+Teubner Verlag ● Pubblicato 2013 ● Scaricabile 3 volte ● Moneta EUR ● ID 6373914 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

David A. PlaistedYunshan ZhuWolfgang BibelRudolf Kruse

50.053 Ebook in questa categoria

Copertina di Latha (ABES Engineering College, India) Banda & Manisha (Govind Ballabh Pant Government Engineering College, India) Manjul: Advanced Computer Science Applications
Latha (ABES Engineering College, India) Banda & Manisha (Govind Ballabh Pant Government Engineering College, India) Manjul: Advanced Computer Science Applications
This new book brings together the most recent trends related to AI, machine learning, and network security. The chapters cover diverse topics on machine learning algorithms and securit …
EPUB
Adobe DRM
€189.37
Copertina di Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations
Luca (University of Parma) Lorenzi & Adbelaziz (University of Salerno) Rhandi: Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations
Semigroups of Bounded Operators and Second-Order Elliptic and Parabolic Partial Differential Equations aims to propose a unified approach to elliptic and parabolic equations with bounded and smooth c …
EPUB
Adobe DRM
€236.90
Copertina di Maria L. (Bowling Green State University, Ohio, USA) Rizzo & Gabor J. (National Science Foundation, Arlington, Virginia, USA) Szekely: The Energy of Data and Distance Correlation
Maria L. (Bowling Green State University, Ohio, USA) Rizzo & Gabor J. (National Science Foundation, Arlington, Virginia, USA) Szekely: The Energy of Data and Distance Correlation
Energy distance is a statistical distance between the distributions of random vectors, which characterizes equality of distributions. The name energy derives from Newton”s gravitational potential en …
EPUB
Adobe DRM
€64.06
Copertina di John M. (Stanford University, California, USA) Chambers: Extending R
John M. (Stanford University, California, USA) Chambers: Extending R
Up-to-Date Guidance from One of the Foremost Members of the R Core Team Written by John M. Chambers, the leading developer of the original S software, Extending R covers key concepts and techniques i …
EPUB
Adobe DRM
€79.60
Copertina di Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications
Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications
At the code level, discrete-time chaotic systems can be used to generate spreading codes for DS-SS systems. At the signal level, continuous-time chaotic systems can be used to generate wideband carri …
EPUB
Adobe DRM
€295.62
Copertina di Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis
Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis
Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …
EPUB
Adobe DRM
€135.65
Copertina di Raymond L. (Inductoheat Inc, Madison Heights, Michigan, USA) Cook & Don (Inductoheat Inc., Madison Heights, Michigan, USA) Loveless: Handbook of Induction Heating
Raymond L. (Inductoheat Inc, Madison Heights, Michigan, USA) Cook & Don (Inductoheat Inc., Madison Heights, Michigan, USA) Loveless: Handbook of Induction Heating
The second edition of the Handbook of Induction Heating reflects the number of substantial advances that have taken place over the last decade in theory, computer modeling, semi-conductor power suppl …
EPUB
Adobe DRM
€186.73
Copertina di Barry Parker: Isaac Newton School Driving
Barry Parker: Isaac Newton School Driving
“Wonderful . . . a great resource for automobile fans who want to understand science, and vice versa.” —Alan C. Tribble, author of A Tribble’s Guide to Space For some, driving is an ar …
EPUB
Adobe DRM
€38.39
Copertina di Information Resources Management Association: Game Theory: Breakthroughs in Research and Practice
Information Resources Management Association: Game Theory: Breakthroughs in Research and Practice
EPUB
Adobe DRM
€432.13
Copertina di Aref Jeribi: Linear Operators and Their Essential Pseudospectra
Aref Jeribi: Linear Operators and Their Essential Pseudospectra
Linear Operators and Their Essential Pseudospectra provides a comprehensive study of spectral theory of linear operators defined on Banach spaces. The central items of interest in the volume include …
EPUB
Adobe DRM
€159.60
Pagina successiva >>>