1999, ISBN: 0792361490
[EAN: 9780792361497], Neubuch, [SC: 0.0], [PU: Springer Netherlands], DATENVERARBEITUNG / DATENVERSCHLÜSSELUNG, KRYPTOGRAFIE; LOGIK; PHILOSOPHIE ACTION; CPROGRAMMINGLANGUAGE; NATURAL; ALG… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9780792361497
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of di… mais…
Orellfuessli.ch Nr. A1000764616. Custos de envio:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 1 - 2 Wochen, zzgl. Versandkosten. (EUR 17.62) Details... |
1999, ISBN: 0792361490
2000 Gebundene Ausgabe Datenverarbeitung / Datenverschlüsselung, Kryptografie, Logik, Philosophie / Logik, Informationstheorie, Mathematische Grundlagen, Philosophie: Logik, Algorithmen… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1999, ISBN: 9780792361497
Edição encadernada
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject and has long sin… mais…
booklooker.de |
1999, ISBN: 9780792361497
Buch, Hardcover, 2000 ed. [PU: Springer], Springer, 1999
lehmanns.de Custos de envio:Versand in 10-14 Tagen. (EUR 0.00) Details... |
1999, ISBN: 0792361490
[EAN: 9780792361497], Neubuch, [SC: 0.0], [PU: Springer Netherlands], DATENVERARBEITUNG / DATENVERSCHLÜSSELUNG, KRYPTOGRAFIE; LOGIK; PHILOSOPHIE ACTION; CPROGRAMMINGLANGUAGE; NATURAL; ALG… mais…
no/na Orellfuessli.ch
Howard Barringer & Michael Fisher & D.M. Gabbay & Graham Gough:
Advances in Temporal Logic - encadernado, livro de bolsoISBN: 9780792361497
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of di… mais…
1999
ISBN: 0792361490
2000 Gebundene Ausgabe Datenverarbeitung / Datenverschlüsselung, Kryptografie, Logik, Philosophie / Logik, Informationstheorie, Mathematische Grundlagen, Philosophie: Logik, Algorithmen… mais…
1999, ISBN: 9780792361497
Edição encadernada
[ED: Gebunden], [PU: Springer Netherlands], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Time is a fascinating subject and has long sin… mais…
1999, ISBN: 9780792361497
Buch, Hardcover, 2000 ed. [PU: Springer], Springer, 1999
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Advances in Temporal Logic
EAN (ISBN-13): 9780792361497
ISBN (ISBN-10): 0792361490
Livro de capa dura
Ano de publicação: 1999
Editor/Editora: Springer
468 Páginas
Peso: 0,853 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-04-26T12:39:17+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-01-16T21:40:14+00:00 (Lisbon)
Número ISBN/EAN: 0792361490
Número ISBN - Ortografia alternativa:
0-7923-6149-0, 978-0-7923-6149-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: michael howard, gough michael, fisher, graham, barring, barringer, dov gabbay
Título do livro: advances temporal logic, orange, what logic
Dados da editora
Autor: Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough
Título: Applied Logic Series; Advances in Temporal Logic
Editora: Springer; Springer Netherland
453 Páginas
Ano de publicação: 1999-12-31
Dordrecht; NL
Língua: Inglês
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
IX, 453 p.
BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Action; C programming language; Natural; algorithms; complexity; databases; information; logic; modal logic; Mathematical Logic and Foundations; Logic; Artificial Intelligence; Data Structures and Information Theory; Mathematische Grundlagen; Philosophie: Logik; Künstliche Intelligenz; Algorithmen und Datenstrukturen; Informationstheorie; BC
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity; I. Cervesato, et al. Release Logics for Temporalizing Dynamic Logic; J. Krabbendam, J.-J. Meyer. Compositional Verification of Timed Statecharts; F. Levi. Temporal Logic for Stabilizing Systems; Y. Lakhnech, M. Siegel. Decidable Theories of omega-Layered Metric Temporal Structures; A. Montanari, et al. Synthesis with Incomplete Information; O. Kupferman, M. Vardi. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study; N.S. Bjørner, et al. Using Otter for Temporal Resolution; C. Dixon. Guiding Clausal Temporal Resolution; M. Fisher, C. Dixon. Determinism and the Origins of Temporal Logic; T. Bräuner, et al. Modelling Linguistic Events; M. Leith, J. Cunningham. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language; R. Naumann. A Decidable Temporal Logic for Temporal Propositions; I. Pratt, N. Francez. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations; A. Galton. A Modal Logic of Durative Actions; I. Nunes, et al. About Real Time, Calendar Systems and Temporal Notions; H.J. Ohlbach. A Model Checking Algorithm for pi-Calculus Agents; S. Gnesi, G. Ristori. Interleaving Model and Verification of Distributed Probabilistic Real-Time Systems; T. Luo, et al. Constructive Interval Temporal Logic in Alf; S. Thompson. Two-dimensional Executable Temporal Logic for Bitemporal Databases; M. Finger, M. Reynolds. Execution and Proof in a Horn-Clause Temporal Logic; C. Dixon, et al. Specification and Prototyping of Structures Multimedia Documents using Interval Temporal Logic; H. Bowman, et al.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9789048153893 Advances in Temporal Logic (Applied Logic Series, 16) (Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham)
< Para arquivar...