Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Couverture souple

9783319276823: Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Couverture souple

ISBN 10 : 3319276824 ISBN 13 : 9783319276823

Editeur : Springer, 2015

Afficher les exemplaires de cette �dition comportant l?ISBN

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2015
ISBN 10 3319276824
ISBN 13 9783319276823
ReliureBroch�
Langueanglais
Num�ro d'�dition1
Nombre de pages420
�diteurArtemov Sergei, Nerode Anil
Coordonn�es du fabricantnon disponible

Acheter neuf

Afficher cet article

EUR 48,74

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783319276847: Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Edition pr�sent�e

ISBN 10 : 3319276840 ISBN 13 : 9783319276847
Editeur : Springer, 2016
Couverture souple

R�sultats de recherche pour Logical Foundations of Computer Science: International...

Image fournie par le vendeur

Logical Foundations of Computer Science

Artemov, Sergei|Nerode, Anil

Edit� par Springer International Publishing, 2015

ISBN 10 : 3319276824 ISBN 13 : 9783319276823

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.&nbspThe 27 revised full paperswere carefully reviewed and selected from 4. N� de r�f. du vendeur 101774008

Contacter le vendeur

Acheter neuf

EUR 48,74

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Anil Nerode

Edit� par Springer International Publishing, 2015

ISBN 10 : 3319276824 ISBN 13 : 9783319276823

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.The 27 revised full paperswere carefully reviewed and selected from 46 submissions.The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory 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 gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience. N� de r�f. du vendeur 9783319276823

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logical Foundations of Computer Science

Anil Nerode

Edit� par Springer International Publishing Dez 2015, 2015

ISBN 10 : 3319276824 ISBN 13 : 9783319276823

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.The 27 revised full paperswere carefully reviewed and selected from 46 submissions.The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory 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 gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience. 420 pp. Englisch. N� de r�f. du vendeur 9783319276823

Contacter le vendeur