Logic and Its Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre81,13 €
Produit Neuf
Ou 20,28 € /mois
- Livraison : 25,00 €
- Livré entre le 15 et le 20 mai
- 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 And Its Applications Format Broché - Livre Informatique
0 avis sur Logic And Its Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Yoshitomo Nara: Pinacoteca
Occasion dès 62,33 €
-
Pomellato
Occasion dès 80,00 €
-
Storm Chasing Handbook, 2nd. Ed.
Neuf dès 64,46 €
-
Professional Goldsmithing : A Contemporary Guide To Traditional Jewelry Techniques
Occasion dès 110,38 €
-
Pucci De Rossi: '71-'96
Occasion dès 49,70 €
-
Finance For Executives
Occasion dès 50,00 €
-
David Busch's Canon Eos R6 Ii Guide To Digital Photography
Neuf dès 46,39 €
Occasion dès 82,99 €
-
Medicine 1 - Student's Book
Occasion dès 47,99 €
-
Encyclopedia Of Hydrangeas
Occasion dès 51,25 €
-
Financial Markets And Institutions, Global Edition
Neuf dès 117,78 €
-
Los Detectives Salvajes (Coleccion Compactos)
Occasion dès 87,99 €
-
Kham, Vol. 1: The Tar Part Of Kham, Tibet Autonomous Region (The Cultural Monuments Of Tibet's Outer Provinces)
Occasion dès 118,00 €
-
L'allemand B2 Pack Téléchargement - Avec 1 Livre, 1 Livret Et 1 Téléchargement Audio
Neuf dès 49,90 €
Occasion dès 45,40 €
-
Evading Edr
Neuf dès 48,24 €
-
Evolution And The Theory Of Games
Occasion dès 83,99 €
-
Guide Des Voiliers D'occasions De 12 À 17 Mètres
Occasion dès 55,00 €
-
Nightmare Usa
1 avis
Neuf dès 69,80 €
Occasion dès 130,99 €
-
An Introduction To German Law And Legal Culture
Neuf dès 60,35 €
-
Bazi Hour Pillar Useful Gods -- Metal
Neuf dès 60,62 €
-
Sweet
Neuf dès 41,26 €
Produits similaires
Présentation Logic And Its Applications Format Broché
- Livre Informatique
Résumé :
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.
Sommaire:
Invited Papers.- Constructive Decision Theory (Extended Abstract).- Bisimulation and Coverings for Graphs and Hypergraphs.- Forcing Axioms, Finite Conditions and Some More.- A Note on Axiomatisations of Two-Dimensional Modal Logics.- The Birth of Proof: Modality and Deductive Reasoning.- Indiscrete Models: Model Building and Model Checking over Linear Time.- Probabilistic IF Logic.- Contributed Papers.- Tableaux-Based Decision Method for Single-Agent Linear Time.- Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.- Agent-Time Epistemics and Coordination.- Dynamic Epistemic Logic for Channel-Based Agent Communication.- On Kripke's Puzzle about Time and Thought.- Yablo Sequences in Truth Theories.- Moving Up and Down in the Generic Multiverse.- Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.- Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.- Logic of Non-monotonic Interactive Proofs.-Noninterference for Intuitionist Necessity.- Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal.- Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System.- Public Announcements for Non-omniscient Agents.- Subset Space Logic with Arbitrary Announcements.- Subset Space Public Announcement Logic.
Détails de conformité du produit
Personne responsable dans l'UE