Passer au contenu principal Passer au contenu du pied de page

Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Stefania Centrone

26 juin 2023

68,99 $ ~~Réduction sur le prix courant 86,23 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Publié par: World Scientific Publishing Company

ISBN: 9789811268557

Strategic Decisions: The Mathematics of Game Theory

Lexa N. Palmer Livre numérique Kobo
4,99 $
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Igor Lavrov Couverture souple
160,95 $
2 formats offerts
Theoretical Computer Science For The Working Category Theorist

Noson S. Yanofsky Couverture souple
26,37 $
Contests in Higher Mathematics: Miklos Schweitzer Competitions 1962-1991

Gabor J. Szekely Couverture souple
248,50 $
2 formats offerts
Facets Of Combinatorial Optimization: Festschrift For Martin Grotschel

Michael Jünger Couverture souple
160,95 $
3 formats offerts
Problems Of Number Theory In Mathematical Competitions

Hong-bing Yu Couverture souple
49,95 $
Probability, Information, And Physics: Problems With Quantum Mechanics In The Context Of A Novel Probability Theory

Paolo Rocchi Couverture rigide
143,50 $
2 formats offerts
Finite Automata, Formal Logic, and Circuit Complexity

Howard Straubing Couverture rigide
142,95 $
Lectures on the Theory of Elliptic Functions; Volume I

Harris Hancock Couverture souple
30,80 $
Differential Games And Control Theory Iii: Proceedings Of The Third Kingston Conference

Pan-tai Liu Couverture rigide
481,50 $
3 formats offerts
Order Statistics: Theory & Methods Hs16handbook Of Statistics Volume 16

N. Balakrishnan Couverture rigide
270,50 $
Queueing Theory 1: Advanced Trends

Couverture rigide
217,95 $
2 formats offerts
Mathematics For The Liberal Arts

Jason I. Brown Couverture souple
170,50 $
2 formats offerts
Mathematics Of Harmony As A New Interdisciplinary Direction And "Golden" Paradigm Of Modern Science-volume 3: the "Golden" Paradigm Of Modern Science: Prerequisite For The "Golden" Revolution In Mathematics,computer Science,and Theoretical Natural Sciences

Alexey Stakhov Couverture rigide
128,50 $
2 formats offerts
Abelian Model Category Theory

James Gillespie Couverture rigide
97,95 $
Studies in Evolution Equations and Related Topics

Gaston M. N'guérékat Couverture souple
204,50 $
Mathematical Logic: A Course with Exercises Part 2: Recursion Theory, Godel's Theorems, Set Theory, Model Theory

Ren'e Cori Couverture souple
165,00 $
4 formats offerts
Game Theory: Lectures for Economists and Systems Scientists

Nikolai N Vorob'ev Couverture souple
142,95 $
2 formats offerts
Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in Prague

Couverture souple
28,50 $
Game Theory And Its Applications

Akio Matsumoto Couverture souple
175,50 $
4 formats offerts

Évaluation éditoriale

Auteur

Quantum Physics Meets the Philosophy of Mind: New Essays on the Mind-Body Relation in Quantum-Theoretical Perspective

Couverture souple
25,99 $
2 formats offerts
Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory

Peter M. Schuster Couverture souple
291,95 $
Logics In Computer Science: A Study On Extensions Of Temporal And Strategic Logics

Fabio Mogavero Couverture souple
80,50 $
3 formats offerts
Probing The Meaning Of Quantum Mechanics: Information, Contextuality, Relationalism And Entanglement - Proceedings Of The Ii International Workshop On Quantum Mechanics And Quantum Information. Physical, Philosophical And Logical Approaches

Diederik Aerts Couverture rigide
205,95 $
Paradigms of Artificial Intelligence: A Methodological and Computational Analysis

Achim G. Hoffmann Couverture souple
80,50 $
Well-quasi Orders In Computation, Logic, Language And Reasoning: A Unifying Concept Of Proof Theory, Automata Theory, Formal Languages And Descriptive Set Theory

Peter M. Schuster Couverture rigide
291,95 $
2 formats offerts
Artificial Intelligence Of Neuromorphic Systems: From Digital, Analogue, Quantum, And Brain-oriented Computing To Hybrid Ai

Klaus Mainzer Couverture rigide
216,50 $
Natural Deduction, Hybrid Systems and Modal Logics

Andrzej Indrzejczak Couverture souple
364,95 $
3 formats offerts
Thinking in Complexity: The Computational Dynamics of Matter, Mind, and Mankind

Klaus Mainzer Couverture souple
84,50 $
2 formats offerts
Principles Of Quantum Artificial Intelligence: Quantum Problem Solving And Machine Learning ()

Andreas Miroslaus Wichert Couverture rigide
245,50 $
2 formats offerts
Principles Of Quantum Artificial Intelligence

Andreas Miroslaus Wichert Couverture rigide
143,50 $
2 formats offerts
Programming Logics: Essays in Memory of Harald Ganzinger

Andrei Voronkov Couverture souple
80,50 $
Networked Knowledge - Networked Media: Integrating Knowledge Management, New Media Technologies And Semantic Systems

Tassilo Pellegrini Couverture souple
246,95 $
2 formats offerts
Shape Perception In Human And Computer Vision: An Interdisciplinary Perspective

Sven J. Dickinson Couverture souple
160,95 $
3 formats offerts
Foundations of Knowledge Base Management: Contributions From Logic, Databases, And Artificial Intelligence Applications

Joachim W. Schmidt Couverture souple
160,95 $
Dynamics, Information and Complexity in Quantum Systems

Fabio Benatti Couverture rigide
291,95 $
3 formats offerts
Dynamics, Information and Complexity in Quantum Systems

Fabio Benatti Couverture souple
291,95 $
Dynamics, Information and Complexity in Quantum Systems

Fabio Benatti Couverture souple
168,95 $
Classical and Quantum Dynamics of Constrained Hamiltonian Systems

Heinz J Rothe Couverture rigide
189,95 $
Fundamental Trends in Fluid-Structure Interaction

Giovanni Paolo Galdi Couverture rigide
160,95 $