Passer au contenu principal Passer au contenu du pied de page

Semantics and Logics of Computation

Édition : Andrew M. Pitts , P. Dybjer

30 janvier 1997

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

Description

Langue

anglais

Pages

376

Publications of the Newton Institute

Publié par: Cambridge University Press

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

ISBN: 9780521580571

Transactions on Computational Science XL

Marina Gavrilova Couverture souple
94,95 $
2 formats offerts
Transactions on Computational Science XXXIX

Marina L. Gavrilova Couverture souple
102,50 $
2 formats offerts
Theory of Computation

Dexter C. Kozen Couverture souple
159,50 $
Transactions on Computational Science II

Yingxu Wang Couverture souple
80,50 $
Extremal Combinatorial Problems and Their Applications

B.S. Stechkin Couverture souple
80,50 $
2 formats offerts
Transactions on Computational Science VIII

C. J. Kenneth Tan Couverture souple
80,50 $
Modern Approach to Artificial Intelligence: Volume II

Couverture rigide
179,95 $
Artificial Intelligence meets Augmented Reality

Chitra Lele Livre numérique Kobo
26,99 $
Fault-Tolerant Parallel Computation

Paris Christos Kanellakis Couverture rigide
142,95 $
Fault-Tolerant Parallel Computation

Paris Christos Kanellakis Couverture souple
160,95 $
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

Luc De Raedt Couverture rigide
71,50 $
Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability

Marcus Hutter Couverture souple
145,95 $
2 formats offerts
Introduction to Artificial Intelligence: Third Edition

Philip C Jackson Couverture souple
33,75 $
2 formats offerts
Human Computation

Edith Law Couverture souple
38,95 $
Transactions On Computational Science Xxxiii

Marina L. Gavrilova Couverture souple
80,50 $
2 formats offerts
Theory of Computation

Vivek Kulkarni Couverture souple
38,50 $
Transactions On Computational Science Xxxvi: Special Issue On Cyberworlds And Cybersecurity

Marina L. Gavrilova Couverture souple
80,50 $
2 formats offerts
Transactions on Computational Science XIII

Marina Gavrilova Couverture souple
80,50 $
Lattice-Based Cryptography: From Theory to Practice

Máire O'neill Couverture rigide
248,50 $
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics

Juraj Hromkovi Couverture souple
102,50 $

Évaluation éditoriale

Auteur

Logic Programming: Operational Semantics and Proof Theory

James H. Andrews Couverture souple
53,95 $
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Robert L. Carpenter Couverture souple
63,95 $
Mathematical Aspects Of Logic Programming Semantics

Pascal Hitzler Couverture souple
140,95 $
2 formats offerts
Solving Higher-order Equations: From Logic To Programming

Christian Prehofer Couverture souple
160,95 $
Extensions of First-Order Logic

Maria Manzano Couverture souple
98,95 $
Logics In Computer Science: A Study On Extensions Of Temporal And Strategic Logics

Fabio Mogavero Couverture souple
80,50 $
3 formats offerts
Isomorphisms of Types: from ?-calculus to information retrieval and language design

Roberto Dicosmo Couverture souple
80,50 $
Fundamentals Of Logic And Computation: With Practical Automated Reasoning And Verification

Zhe Hou Couverture rigide
94,95 $
2 formats offerts
Logic Program Synthesis from Incomplete Information

Pierre Flener Couverture souple
248,50 $
2 formats offerts
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook

Couverture souple
67,44 $
Universal Coding And Order Identification By Model Selection Methods

Élisabeth Gassiat Couverture souple
175,50 $
3 formats offerts
The Design and Analysis of Algorithms

Dexter C. Kozen Couverture souple
131,50 $
Algorithmic Aspects Of Graph Connectivity

Hiroshi Nagamochi Couverture souple
65,95 $
2 formats offerts
Topics in the General Theory of Structures

Couverture souple
220,95 $
2 formats offerts
Logic and Databases: The Roots of Relational Theory

Chris J Date Couverture souple
45,94 $
Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing

John Lawrence Nazareth Couverture souple
80,50 $
2 formats offerts
History Of Cryptography And Cryptanalysis: Codes, Ciphers, And Their Algorithms

John F. Dooley Couverture souple
65,95 $
4 formats offerts
Processor Networks and Aspects of the Mapping Problem

Peter A. J. Hilbers Couverture souple
60,95 $
2 formats offerts
Introduction To The Theory Of Computation

Michael Sipser Couverture souple
209,95 $ ~~Réduction sur le prix courant 235,95 $ à~~
2 formats offerts
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III

Couverture souple
321,50 $
2 formats offerts