Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems - Couverture souple

Puppis, Gabriele

9783642118807: Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

Couverture souple

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

Editeur : Springer, 2010

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 42,31

11 Neuf

De EUR 48,37

LNAI 5955

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

�diteur: Springer
Date d'�dition: 2010
Langue: anglais
ISBN 10: 3642118801
ISBN 13: 9783642118807
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 216
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Tr�s bon

Zustand: Sehr gut | Seiten: 216...

Afficher cet article

EUR 42,31

Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

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

9783642118821: Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

Edition pr�sent�e

ISBN 10 : 3642118828 ISBN 13 : 9783642118821
Editeur : Springer, 2010
Couverture souple

R�sultats de recherche pour Automata for Branching and Layered Temporal Structures:...

Image d'archives

Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

Gabriele Puppis

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 6932927/12

Contacter le vendeur

Acheter D'occasion

EUR 42,31

Autre devise

Frais de port : EUR 9,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automata for Branching and Layered Temporal Structures

Gabriele Puppis

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

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. FoLLI LNAI monographSince 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation a. N� de r�f. du vendeur 5049693

Contacter le vendeur

Acheter neuf

EUR 48,37

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

Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

Gabriele Puppis

Edit� par Springer Berlin Heidelberg, 2010

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

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 - Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. N� de r�f. du vendeur 9783642118807

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

Automata for Branching and Layered Temporal Structures

Gabriele Puppis

Edit� par Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

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 -Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. 216 pp. Englisch. N� de r�f. du vendeur 9783642118807

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Automata for Branching and Layered Temporal Structures

Gabriele Puppis

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2010, 2010

ISBN 10 : 3642118801 ISBN 13 : 9783642118807

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch. N� de r�f. du vendeur 9783642118807

Contacter le vendeur