Articles liés à First-Order Dynamic Logic

Harel, D. First-Order Dynamic Logic ISBN 13 : 9783662174500

First-Order Dynamic Logic - Couverture souple

Harel, D.

 
9783662174500: First-Order Dynamic Logic
Couverture souple
ISBN 10 : 3662174502 ISBN 13 : 9783662174500
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

I: Binary-relation semantics.- II: Computation-tree semantics.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662174502
ISBN 13 
9783662174500
Reliure
Paperback
Coordonnées du fabricant
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous 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

Autres éditions populaires du même titre

9783540092377: First-Order Dynamic Logic

Edition présentée

ISBN 10 :  3540092374 ISBN 13 :  9783540092377
Editeur : Springer, 2008
Couverture souple