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: 285.95 CAD
Availability: InStock
Author: P H Schmitt
ISBN: 9780792351290

Édition : Wolfgang Bibel , P H Schmitt

30 juin 1998

285,95 $

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 430 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

481

Applied Logic Series

Publié par: Springer

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

ISBN: 9780792351290

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
248,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
Distillation Et Rectification Industrielles (Classic Reprint)

Ernest Sorel Couverture souple
16,57 $
5 formats offerts
Simple Formal Logic: with common-sense symbolic techniques

Arnold vander Nat Couverture rigide
266,50 $
2 formats offerts
Chief Administrative Officer A Complete Guide - 2021 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Punctuation in Context – Past and Present Perspectives

Maurizio Gotti Livre numérique Kobo
120,99 $ ~~Réduction sur le prix courant 150,60 $ à~~
Communication orale: concepts fondamentaux, notions de bases, mises en situation

Franck Bellucci Couverture souple
24,95 $
2 formats offerts
Logic for Concurrency and Synchronisation

R.J. De Queiroz Couverture souple
160,95 $
2 formats offerts
Interacademic Collaboration Involving Higher Education Institutions in Tlaxcala and Puebla, Mexico. Presented in Collaboration with Université Clermont Auvergne (France): Case Studies of Collaborative, Multidisciplinary Applications.

Livre numérique Kobo
5,99 $
Agile Development Demands A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
LOGISTIC REGRESSION A PRIMER

Fred C. Pampel Couverture rigide
52,00 $
2 formats offerts
Asking Questions: The Definitive Guide to Questionnaire Design

Norman M. Bradburn Couverture souple
67,95 $
3 formats offerts
Policies and Procedures A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
Personal Effectiveness A Complete Guide - 2020 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Integrative Negotiation A Complete Guide - 2020 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~
Process and Event

Alexander Bard Livre numérique Kobo
10,99 $
Solution Development A Complete Guide - 2019 Edition

Livre numérique Kobo
75,99 $ ~~Réduction sur le prix courant 94,99 $ à~~
Process and Event

Alexander Bard Couverture souple
40,99 $
Relational Contract A Complete Guide - 2020 Edition

Livre numérique Kobo
79,99 $ ~~Réduction sur le prix courant 99,99 $ à~~

Évaluation éditoriale

wolfgang bibel

Auteur

Theoretical and Computational Photochemistry: Fundamentals, Methods, Applications and Synergy with Experimental Approach: Fundamentals, Methods, Applications and Synergy with Experimental Approaches

García Iriepa Cristina Couverture souple
296,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
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
248,50 $
2 formats offerts
Foundations of Generic Optimization: Volume 1: A Combinatorial Approach to Epistasis

M. Iglesias Couverture souple
80,50 $
2 formats offerts
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
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 $
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
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
Peptide Self-Assembly and Engineering, 2 Volumes: Fundamentals, Structures, and Applications

Couverture rigide
420,00 $
2 formats offerts
Guide to Dynamic Simulations of Rigid Bodies and Particle Systems

Murilo G. Coutinho Couverture souple
80,50 $
3 formats offerts
Guide to Modeling and Simulation of Systems of Systems

Bernard P. Zeigler Couverture souple
131,50 $
6 formats offerts
Fuzzy Logic Theory And Applications: Part I And Part Ii

Lotfi A Zadeh Couverture rigide
230,95 $
2 formats offerts
Models for Research and Understanding: Exploring Dynamic Systems, Unconventional Approaches, and Applications

Stanislaw Raczynski Couverture souple
94,95 $
Principles Of Neural Model Identification, Selection And Adequacy: With Applications To Financial Econometrics

Achilleas Zapranis Couverture souple
142,95 $
Introduction to Transportation Analysis, Modeling and Simulation: Computational Foundations And Multimodal Applications

Dietmar P.F. Möller Couverture rigide
145,95 $
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
Stability Analysis Of Regenerative Queueing Models: Mathematical Methods And Applications

Evsey Morozov Couverture rigide
262,95 $
2 formats offerts
Multi-Objective Optimization in Chemical Engineering: Developments and Applications

Couverture rigide
283,95 $
2 formats offerts
Handbook of Categorical Algebra: Volume 2, Categories and Structures

Francis Borceux Couverture souple
120,95 $
2 formats offerts
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II

Tiziana Margaria Couverture souple
80,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

Description

Vous aimerez peut-être aussi