Computer Science Logic -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre139,27 €
Produit Neuf
Ou 34,82 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540678953_dbm
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Computer Science Logic Format Broché - Livre Littérature Générale
0 avis sur Computer Science Logic Format Broché - Livre Littérature Générale
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A Practical Guide To Chemical Peels, Microdermabrasion & Topical Products
Neuf dès 153,61 €
-
Yoga Art
Occasion dès 138,25 €
-
The Harvard Book: Selections From Three Centuries, Revised Edition
Neuf dès 80,22 €
-
L'amica Geniale. Edizione Completa
Occasion dès 70,19 €
-
Machine Learning And Data Sciences For Financial Markets
Neuf dès 150,03 €
Occasion dès 78,87 €
-
Michael Kenna - Arbres / Trees
2 avis
Occasion dès 95,00 €
-
Lillian Bassman / Paul Himmel
Occasion dès 106,99 €
-
J W Waterhouse
Occasion dès 125,15 €
-
The Ballad Of Sexual Dependency
Occasion dès 84,91 €
-
Edmond Lachenal And His Legacy
Occasion dès 84,68 €
-
Mantegna Tarot: Tarot Cards With Silver Decoration, Instructions
Occasion dès 100,00 €
-
James Bama: American Realist
Occasion dès 185,00 €
-
Bird Coloration
Neuf dès 236,01 €
Occasion dès 192,17 €
-
Babembe Sculpture
1 avis
Occasion dès 119,00 €
-
The Baltic Sea And Approaches
Occasion dès 96,27 €
-
Traditional Chinese Patterns And Colours: Chinese Ethnic Minority Motifs (With Cd)
Occasion dès 118,35 €
-
Murakami: Ego
Neuf dès 146,45 €
-
Rccpf Norway
Neuf dès 85,37 €
-
Livre Charlotte Perriand
Occasion dès 70,00 €
-
Generation Wealth
Neuf dès 90,25 €
Produits similaires
Présentation Computer Science Logic Format Broché
- Livre Littérature Générale
Sommaire:
Invited Papers.- Background, Reserve, and Gandy Machines.- Choiceless Polynomial Time Computation and the Zero-One Law.- Composition and Submachine Concepts for Sequential ASMs.- Une tentative malheureuse de construire une structure ?liminant rapidement les quanteurs.- Translating Theory into Practice - Abstract State Machines within Microsoft.- Choiceless Polynomial Time Logic: Inability to Express.- Schema Revisited.- Automated Verification = Graphs, Automata, and Logic.- Contributed Papers.- A Fully Complete PER Model for ML Polymorphic Types.- Subtyping with Power Types.- The Descriptive Complexity of the Fixed-Points of Bounded Formulas.- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.- Continuous Functionals of Dependent Types and Equilogical Spaces.- Definability over Linear Constraints.- Bounded Arithmetic and Descriptive Complexity.- Independence: Logics and Concurrency.- Flatness Is Not a Weakness.- Sequents, Frames, and Completeness.- Disjunctive Tautologies as Synchronisation Schemes.- Axiomatizing the Least Fixed Point Operation and Binary Supremum.- Interactive Programs in Dependent Type Theory.- Modal Satisfiability Is in Deterministic Linear Space.- Logic Programming and Co-inductive Definitions.- A Theory of Explicit Mathematics Equivalent to ID 1.- On the Complexity of Explicit Modal Logics.- Finite Models and Full Completeness.- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale.- Elimination of Negation in a Logical Framework.- Discreet Games, Light Affine Logic and PTIME Computation.- Completeness of Higher-Order Duration Calculus.- Equational Termination by Semantic Labelling.- On the Computational Interpretation of Negation.- FromPrograms to Games: Invariance and Safety for Bisimulation.- Logical Relations and Data Abstraction.- Elementary Choiceless Constructive Analysis.- On the Logic of the Standard Proof Predicate....
Détails de conformité du produit
Personne responsable dans l'UE