Logic, Language, Information, and Computation -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre113,63 €
Produit Neuf
Ou 28,41 € /mois
- Livraison à 0,01 €
- Livré entre le 28 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031995354_dbm
Nos autres offres
-
109,93 €
Produit Neuf
Ou 27,48 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Voir le détail de l'annonce
- 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 Logic, Language, Information, And Computation de Format Broché - Livre Informatique
0 avis sur Logic, Language, Information, And Computation de Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 55,50 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
The Wine Trade In Medieval Europe 1000-1500
Neuf dès 79,17 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
Occasion dès 109,50 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
Argentina Ruta 40
Occasion dès 99,00 €
-
Mongolia: Museum Highlights
Occasion dès 55,50 €
-
Miyoko Ihara - Misao The Big Mama And Fukumaru The Cat
Occasion dès 65,00 €
-
Alice In Wonderland And Through The Looking-Glass (Collector's Edition) (Laminated Hardback With Jacket)
Neuf dès 60,30 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 125,99 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Confrontations - Confrontaties
Neuf dès 68,00 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Principles Of Sustainable Finance
Neuf dès 134,83 €
Occasion dès 59,11 €
-
Critical Phenomena In Natural Sciences
Neuf dès 122,49 €
Occasion dès 55,21 €
Produits similaires
Présentation Logic, Language, Information, And Computation de Format Broché
- Livre Informatique
Résumé :
.- Deep Induction for Inductive Families .- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. .- Logics of Importation and Exportation for the Implicative Conditional. .- Paraconsistent Constructive Modal Logic. .- . Convergence laws for expansions of linear preorders. .- Indicative conditionals: algebraic considerations. .- Abstracting Conceptual Models as a Weakening Process. .- . Axiomatization and Decidability of Tense Information Logic. .- Infinitary Refinement Types for Temporal Properties in Scott Domains. .- On tame semantics for interpretability logic. .- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. .- Insensitive Games: Game Semantics for Modal Insensitivity. .- . Index set complexity for congruence lattices of lattices. .- The Satisfiability Problem in a Separation Logic of Relations. .- Graded Relation Updates in Modal Logic. .- Proof Search in Classical Propositional Logic with Partial Proof Terms. .- A significance-based account of ceteris paribus counterfactuals. .- Tabular intermediate logics comparison. .- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME. .- Counterexamples to Import-Export in Conditionals: A Logical Analysis....
Biographie: .- Deep Induction for Inductive Families
.- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables.
.- Logics of Importation and Exportation for the Implicative Conditional.
.- Paraconsistent Constructive Modal Logic.
.- . Convergence laws for expansions of linear preorders.
.- Indicative conditionals: algebraic considerations.
.- Abstracting Conceptual Models as a Weakening Process.
.- . Axiomatization and Decidability of Tense Information Logic.
.- Infinitary Refinement Types for Temporal Properties in Scott Domains.
.- On tame semantics for interpretability logic.
.- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels.
.- Insensitive Games: Game Semantics for Modal Insensitivity.
.- . Index set complexity for congruence lattices of lattices.
.- The Satisfiability Problem in a Separation Logic of Relations.
.- Graded Relation Updates in Modal Logic.
.- Proof Search in Classical Propositional Logic with Partial Proof Terms.
.- A significance-based account of ceteris paribus counterfactuals.
.- Tabular intermediate logics comparison.
.- ...
Sommaire:
.- Deep Induction for Inductive Families .- Asymptotic Reasoning with Two Variables Asymptotic Reasoning with Two Variables. .- Logics of Importation and Exportation for the Implicative Conditional. .- Paraconsistent Constructive Modal Logic. .- . Convergence laws for expansions of linear preorders. .- Indicative conditionals: algebraic considerations. .- Abstracting Conceptual Models as a Weakening Process. .- . Axiomatization and Decidability of Tense Information Logic. .- Infinitary Refinement Types for Temporal Properties in Scott Domains. .- On tame semantics for interpretability logic. .- Constructive Modal Logics: Bi-nested Calculi and Bi-relational Countermodels. .- Insensitive Games: Game Semantics for Modal Insensitivity. .- . Index set complexity for congruence lattices of lattices. .- The Satisfiability Problem in a Separation Logic of Relations. .- Graded Relation Updates in Modal Logic. .- Proof Search in Classical Propositional Logic with Partial Proof Terms. .- A significance-based account of ceteris paribus counterfactuals. .- Tabular intermediate logics comparison. .- Insignificant Choice Polynomial Time -- A Logic Capturing PTIME. .- Counterexamples to Import-Export in Conditionals: A Logical Analysis....
Détails de conformité du produit
Personne responsable dans l'UE