Articles liés à Temporal Logic: Mathematical Foundations and Computational...
Synopsis
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Revue de presse
The book presents some fundamental theorems which help to prove or disprove the expressiveness completeness of a temporal logic. Although the book is focused mainly on the authors' research, the breadth of their research allows them to cover a lot of interesting material ... a very comprehensive study of temporal logics, their expressiveness and axiomatization ... it is very thorough and presents the subjects of its focus in great depth. It can point practitioners of this field to existing results and thus is recommended as a good research reference. (D. Peled, The Computer Journal,)
'This book represents the fruitful achievments of the authors' outstanding accomplishments and coooperation in the field of temporal logic, providing a comprehensive mathematical and computational tool for research and applications of the domain... na extensive bibliography of 666 basic titles in the field, and adequate indexes, add to the high quality and usefulness of the book' Zentralblatt Math
Présentation de l'éditeur
This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 234,59
EUR 31,69 expédition depuis Australie vers France
Destinations, frais et délaisRésultats de recherche pour Temporal Logic: Mathematical Foundations and Computational...
Image d'archives
Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 2.
Edité par
Clarendon Press, Oxford, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Peter Rhodes, Southampton, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Original Cloth. 1st Edition. Oxford Logic Guides No. 40. 24 x 15.5 cm., xiii, 597 pp. The book is covered in black cloth with gilt lettering on the spine and front. CONDITION. As new. A very clean tight copy. No marks of ownership. N° de réf. du vendeur 008063
Quantité disponible : 1 disponible(s)
Image d'archives
Volume 2: Mathematical Foundations and Computational Aspects Volume 2: 40 (Oxford Logic Guides)
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Ancien ou d'occasion
Couverture rigide
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR014403178
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic: Volume 2 (Hardcover)
Edité par
Oxford University Press, Oxford, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198537687
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Temporal Logic : Mathematical Foundations and Computational Aspects
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 79685-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Temporal Logic : Mathematical Foundations and Computational Aspects
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 79685-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: Volume 2 (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 14ce7a379b0be74acdee2760dca718e5
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198537687_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: Volume 2
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198537687
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: Volume 2
Edité par
Oxford University Press, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198537687
Quantité disponible : Plus de 20 disponibles
Image d'archives
Temporal Logic: Volume 2 (Hardcover)
Edité par
Oxford University Press, Oxford, 2000
ISBN 10 : 0198537689
ISBN 13 : 9780198537687
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. This is the second volume of this respected work in temporal logic. Whereas volume 1 dealt primarily with basic concepts and methods, volume 2 discusses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations in volume 1, covering automata, branching time and labelled deduction. The rest of the book discusses temporal databases, temporal execution and programming, actions and planning. Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals with an area of logic of interest in computer science, which considers the particularly rich and complex effects of time. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780198537687
Quantité disponible : 1 disponible(s)