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

Ondersteuning
Hoes van David A. Plaisted & Yunshan Zhu: The Efficiency of Theorem Proving Strategies (PDF)
€43.59
Betalingsmethoden
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Duits ● Formaat PDF ● ISBN 9783322938626 ● Uitgeverij Vieweg+Teubner Verlag ● Gepubliceerd 2013 ● Downloadbare 3 keer ● Valuta EUR ● ID 6373914 ● Kopieerbeveiliging Adobe DRM
Vereist een DRM-compatibele e-boeklezer

Meer e-boeken van dezelfde auteur (s) / Editor

David A. PlaistedYunshan ZhuWolfgang BibelRudolf Kruse

50.053 E-boeken in deze categorie

Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Hoes van 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
Volgende pagina >>>