Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Price: 248.50 CAD
Availability: InStock
Author: P.H. Schmitt
ISBN: 9789048150526

Wolfgang Bibel Édition : P.H. Schmitt

9 décembre 2010

248,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

335

Applied Logic Series

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9789048150526

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel Couverture souple
321,50 $
2 formats offerts
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel Couverture souple
321,50 $
2 formats offerts
Intelligent Virtue

Julia Annas Couverture souple
64,04 $
2 formats offerts
Menschen und Probleme

Theobald Ziegler Couverture rigide
254,99 $
Von Der Weltseele: Eine Hypothese Der Höheren Physik Zur Erklärung Des Allgemeinen Organismus

Friedrich Wilhelm Joseph von Schelling Couverture rigide
37,95 $
3 formats offerts
Execution Capabilities A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
Logic for Concurrency and Synchronisation

R.J. De Queiroz Couverture souple
160,95 $
2 formats offerts
La Génération inoxydable

Michel Cicurel Couverture souple
37,95 $
2 formats offerts
Strict Finitism and the Logic of Mathematical Applications

Feng Ye Couverture souple
160,95 $
3 formats offerts
L' ordre du technique: comment il s'est imposé, comment en sortir

Michel Blay Couverture souple
27,95 $
DDoS Mitigation A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
Quelle autorité ?: un figure à géométrie variable

Marc Abélès Couverture souple
37,95 $
Intuition et abstraction

Guillaume Guillaume d'Ockham Couverture souple
23,75 $
Organization Theory A Complete Guide - 2020 Edition

Gerardus Blokdyk Couverture souple
123,99 $
System Der Logik...

Carl Friedrich Bachmann Couverture souple
54,99 $
3 formats offerts
Analytical Techniques for Trace Elements in Geochemical Exploration

Raghaw Saran Reliure sans couture
320,00 $
2 formats offerts
Physical Chemistry: Theories, Models And Applications

Couverture rigide
192,25 $
Handbuch Der Physiologie; Volume 4

Couverture rigide
55,95 $
4 formats offerts
Opti-Mystic Projections

John O'Loughlin Livre numérique Kobo
5,99 $ ~~Réduction sur le prix courant 6,31 $ à~~
Simple Formal Logic: with common-sense symbolic techniques

Arnold vander Nat Couverture rigide
266,50 $
2 formats offerts

Évaluation éditoriale

ph schmitt

Auteur

Peptide Self-Assembly and Engineering, 2 Volumes: Fundamentals, Structures, and Applications

Couverture rigide
420,00 $
2 formats offerts
Multi-Objective Optimization in Chemical Engineering: Developments and Applications

Couverture rigide
283,95 $
2 formats offerts
Handbook Of Aggregation-induced Emission, Volume 1: Tutorial Lectures And Mechanism Studies

Couverture rigide
329,95 $
2 formats offerts
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel Couverture souple
321,50 $
2 formats offerts
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel Couverture souple
321,50 $
2 formats offerts
Foundations of Generic Optimization: Volume 1: A Combinatorial Approach to Epistasis

M. Iglesias Couverture souple
80,50 $
2 formats offerts
Numerical Techniques for Engineering Analysis and Design: Proceedings of the International Conference on Numerical Methods in Engineering: Theory and Applications, Numeta '87, Swansea, 6-10 July 1987. Volume I

Couverture souple
71,50 $
New Trends in Quantum Systems in Chemistry and Physics: Volume 2 Advanced Problems and Complex Systems Paris, France, 19: Volume 2 Advanced Problems and Complex Systems Paris, France, 1999

J. Maruani Couverture rigide
248,50 $
The Stated Preference Approach to Environmental Valuation, Volumes I, II and III: Volume I: Foundations, Initial Development, Statistical Approaches Volume II:Conceptual and Empirical Issues Volume III: Applications: Benefit-Cost Analysis and Natural Resource Damage Assessment

Richard T. Carson Couverture rigide
1221,50 $
2 formats offerts
Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International

Tuncer Ören Couverture rigide
189,95 $
2 formats offerts
Stability Analysis Of Regenerative Queueing Models: Mathematical Methods And Applications

Evsey Morozov Couverture rigide
262,95 $
2 formats offerts
Guide to Modeling and Simulation of Systems of Systems

Bernard P. Zeigler Couverture souple
131,50 $
6 formats offerts
Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

Murilo G. Coutinho Couverture souple
80,50 $
3 formats offerts
Planning and Coding of Problems for an Electronic Computing Instrument ... Report on the Mathematical and Logical Aspects of an Electronic Computing Instrument, Part II: 1-3 pt.2

Couverture souple
21,89 $
The Application Of Physico-chemical Theory To Technical Processes And Manufacturing Methods

Robert Konrad Kremann Couverture souple
29,99 $
Transient/Dynamic Analysis and Constitutive Laws for Engineering Materials: Proceedings of the International Conference on Numerical Methods in Engineering: Theory and Applicatios, Numeta '87, Swansea, 6-10 July 1987 Volume II

Couverture souple
285,95 $
2 formats offerts
Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International

Tuncer Ören Couverture souple
145,95 $
On the Formulation and Analysis of Numerical Methods for Time Dependent Transport Equations

Herbert Bishop Keller Couverture rigide
32,78 $
2 formats offerts
Modeling and Simulation in the Systems Engineering Life Cycle: Core Concepts and Accompanying Lectures

Margaret L. Loper Couverture rigide
291,95 $
2 formats offerts
The Application of Physico-chemical Theory to Technical Processes and Manufacturing Methods

Robert Konrad Kremann Couverture rigide
32,50 $

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Description

Vous aimerez peut-être aussi