Passer au contenu principal Passer au contenu du pied de page

Resolution Proof Systems: An Algebraic Theory

Z. Stachniak

30 avril 1996

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

Description

Langue

anglais

Pages

208

Automated Reasoning Series

Publié par: Kluwer Boston Incorporated

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

ISBN: 9780792340171

Neural Network Learning: Theoretical Foundations

Martin Anthony Couverture souple
73,95 $
2 formats offerts
Generative AI in FinTech: Revolutionizing Finance through Intelligent Algorithms

Soumi Dutta Couverture rigide
291,95 $
Handbook Of Differential Entropy

Joseph Victor Michalowicz Couverture souple
122,95 $
2 formats offerts
An Introduction to Computational Learning Theory

Michael J. Kearns Couverture rigide
92,00 $
Understanding Computation: Pillars, Paradigms, Principles

Arnold L. Rosenberg Couverture souple
131,50 $
Information Systems: Failure Analysis

John A. Wise Couverture souple
160,95 $
Modeling Complex Processes Through Nature-Analogous Methods: Artificial Intelligence and Artificial Life

Christina Klüver Couverture souple
124,50 $
Understanding Computation: Pillars, Paradigms, Principles

Arnold L. Rosenberg Couverture rigide
160,95 $
Adaptive Interaction: A Utility Maximization Approach to Understanding Human Interaction with Technology

STEPHEN J PAYNE Couverture souple
38,95 $
Computational Evolution of Neural and Morphological Development: Towards Evolutionary Developmental Artificial Intelligence

Yaochu Jin Couverture rigide
291,95 $
2 formats offerts
Introduction to Computer Theory

Daniel I. A. Cohen Couverture souple
278,95 $
Computational Evolution of Neural and Morphological Development: Towards Evolutionary Developmental Artificial Intelligence

Yaochu Jin Couverture souple
291,95 $
Applied Evolutionary Algorithms In Java

Robert Ghanea-Hercock Couverture souple
80,50 $
3 formats offerts
AI in Finance: Transforming Banking with Intelligent Algorithms: Artificial Intelligence AI Revolution, #5

Dizzy Davidson Livre numérique Kobo
6,99 $
Uncertainty in Computational Intelligence-Based Decision Making

Ali Ahmadian Couverture souple
266,50 $
2 formats offerts
Understanding NFS: Network File System on Linux

Liza Noble Couverture souple
19,50 $
Ransomware Analysis: Knowledge Extraction and Classification for Advanced Cyber Threat Intelligence

Claudia Lanza Livre numérique Kobo
91,99 $
Causality for Artificial Intelligence: From a Philosophical Perspective

Jordi Vallverd Couverture rigide
72,95 $
2 formats offerts
Probability and Statistics: Analysis using Probability and Statistical Tools

I A Dhotre Couverture souple
64,50 $
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers

Bryan Jeffrey Parno Couverture souple
70,46 $
3 formats offerts

Évaluation éditoriale

Auteur

Subjective Logic: A Formalism For Reasoning Under Uncertainty

Audun Josang Couverture souple
291,95 $
2 formats offerts
Probabilistic Reasoning in Multiagent Systems: A Graphical Models Approach

Yang Xiang Couverture souple
67,95 $
2 formats offerts
Independent Component Analysis: Theory and Applications

Te-Won Te-Won Lee Couverture souple
248,50 $
2 formats offerts
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

Judea Pearl Couverture souple
107,95 $
2 formats offerts
Algebraic Quasi-Fractal Logic of Smart Systems: Theory and Practice

Natalia Serdyukova Couverture rigide
189,95 $
2 formats offerts
Fuzzy Rule-Based Inference: Advances and Applications in Reasoning with Approximate Knowledge Interpolation

Fangyi Li Couverture rigide
262,95 $
2 formats offerts
Modeling And Reasoning With Bayesian Networks

Adnan Darwiche Couverture souple
89,95 $
2 formats offerts
Complex Data Analytics With Formal Concept Analysis

Rokia Missaoui Couverture rigide
262,95 $
2 formats offerts
Multi-Objective Optimization in Computational Intelligence: Theory and Practice

Bui Couverture rigide
217,26 $
Reasoning and Unification over Conceptual Graphs

Dan Corbett Couverture souple
160,95 $
3 formats offerts
Index Matrices: Towards An Augmented Matrix Calculus

Krassimir T. Atanassov Couverture rigide
160,95 $
2 formats offerts
Evolve - A Bridge Between Probability, Set Oriented Numerics, And Evolutionary Computation Iii

Oliver Schuetze Couverture souple
248,50 $
2 formats offerts
Algorithms For Analysis, Inference, And Control Of Boolean Networks

Tatsuya Akutsu Couverture rigide
143,50 $
2 formats offerts
Towards Intelligent Modeling: Statistical Approximation Theory

George A. Anastassiou Couverture souple
160,95 $
2 formats offerts
Probability Collectives: A Distributed Multi-agent System Approach for Optimization

Anand Jayant Kulkarni Couverture rigide
160,95 $
2 formats offerts
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications

Naeem Khalid Janjua Couverture rigide
248,50 $
2 formats offerts
Chaos-based Cryptography: Theory, Algorithms And Applications

Ljupco Kocarev Couverture souple
248,50 $
2 formats offerts
Naming Game: Models, Simulations And Analysis

Guanrong Chen Couverture rigide
160,95 $
2 formats offerts
Intelligent Control Systems: An Introduction with Examples

Gábor Szederkényi Couverture souple
248,50 $
2 formats offerts
Bayesian Optimization: Theory and Practice Using Python

Peng Liu Couverture souple
87,95 $
2 formats offerts