Articles liés à Logical Foundations of Computer Science: International...
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2016
- ISBN 10 3319276840
- ISBN 13 9783319276847
- ReliurePaperback
- Langueanglais
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
