Logical Foundations Of Computer Science Format Broché

Logical Foundations of Computer Science - Sergei Artemov

Format: Broché

Note : 0

Soyez le premier à donner un avis

Filtrer par :

83,54 €

Produit Neuf

Ou 20,89 € /mois

Livraison : 3,99 €
Livré entre le 24 et le 31 août

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Nos autres offres

200,67 €

Produit Neuf

Ou 50,17 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 7 et le 12 septembre
Voir les modes de livraison
Kelindo

PRO

4,8/5 sur + de 1 000 ventes

Contacter le vendeur
Afficher la description de l'annonce
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Logical Foundations Of Computer Science Format Broché - Livre

Note : 0 0 avis sur Logical Foundations Of Computer Science Format Broché - Livre

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Présentation Logical Foundations Of Computer Science Format Broché
- Livre

Livre - Sergei Artemov - 31/10/2017 - Broché - Langue : Anglais

Auteur(s) : Sergei Artemov - Anil Nerode

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 31/10/2017

Nombre de pages : 380

Expédition : 591

Dimensions : 23.6 x 15.9 x 2.2

ISBN : 9783319720555

Résumé :

This book constitutes the refereed proceedings of the International?Symposium on Logical Foundations of Computer Science, LFCS 2018, held in?Deerfield Beach, FL, USA, in January 2018.

The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and

combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

Sommaire:
Constructive mathematics and type theory.- Homotopy type theory.- Logic, automata, and automatic structures.- Computability and randomness.- Logical foundations of programming.- Logical aspects of computational complexity.- Parameterized complexity.- Logic programming and constraints.- Automated deduction and interactive theorem proving.- Logical methods in protocol and program verification.- Logical methods in program specification and extraction.- Domain theory logics.- Logical foundations of database theory.- Equational logic and term rewriting.- Lambda and combinatory calculi.- Categorical logic and topological semantics.- Linear logic.- Epistemic and temporal logics.- Intelligent and multiple-agent system logics.- Logics of proof and justification.- Non-monotonic reasoning.- Logic in game theory and social software.- Logic of hybrid systems.- Distributed system logics.- Mathematical fuzzy logic.- System design logics....

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Logical Foundations of Computer Science - Sergei Artemov

Avis sur Logical Foundations Of Computer Science Format Broché - Livre

Présentation Logical Foundations Of Computer Science Format Broché - Livre

Présentation Logical Foundations Of Computer Science Format Broché
- Livre