ISBN: 9783642029950
Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, al… Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783642029950
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, in… Altro …
hive.co.uk No. 9783642029950. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783642029950
*Stochastic Coalgebraic Logic* / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenscha… Altro …
Hugendubel.de 3642029957. Costi di spedizione:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783642029950
Stochastic Coalgebraic Logic: ab 96.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Costi di spedizione:in stock, , , DE. (EUR 0.00) Details... |
2009, ISBN: 9783642029950
eBooks, eBook Download (PDF), 2009, [PU: Springer Berlin], Seiten: 231, Springer Berlin, 2009
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783642029950
Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, al… Altro …
ISBN: 9783642029950
Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, in… Altro …
ISBN: 9783642029950
*Stochastic Coalgebraic Logic* / pdf eBook für 96.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher nein eBook als pdf eBooks > Fachthemen & Wissenscha… Altro …
ISBN: 9783642029950
Stochastic Coalgebraic Logic: ab 96.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
2009, ISBN: 9783642029950
eBooks, eBook Download (PDF), 2009, [PU: Springer Berlin], Seiten: 231, Springer Berlin, 2009
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Stochastic Coalgebraic Logic
EAN (ISBN-13): 9783642029950
Anno di pubblicazione: 2009
Editore: Springer Berlin
231 Pagine
Lingua: eng/Englisch
Libro nella banca dati dal 2012-04-29T09:41:36+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-13T21:00:14+01:00 (Zurich)
ISBN/EAN: 9783642029950
ISBN - Stili di scrittura alternativi:
978-3-642-02995-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : dobe, nakamura, doberkat
Titolo del libro: logic, stochastic
Dati dell'editore
Autore: Ernst-Erich Doberkat
Titolo: Monographs in Theoretical Computer Science. An EATCS Series; Stochastic Coalgebraic Logic
Editore: Springer; Springer Berlin
231 Pagine
Anno di pubblicazione: 2009-12-24
Berlin; Heidelberg; DE
Lingua: Inglese
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XV, 231 p. 81 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Categories, category theory; Coalgebraic logics; Giry Monad; Markov transition systems; Modal logic; Morphisms; Probability theory; Stochastic logic; Stochastic systems; concurrency; grammar; grammars; logic; modeling; semantics; B; Formal Languages and Automata Theory; Probability Theory; Artificial Intelligence; Category Theory, Homological Algebra; Statistical Theory and Methods; Computer Science; Wahrscheinlichkeitsrechnung und Statistik; Stochastik; Künstliche Intelligenz; Algebra; BB
Borel Sets, Measures and All That.- Modal Logics.- The Giry Monad: Randomized Morphisms.- Coalgebraic Logic.Provides an insight into the principles of coalgebraic logic from a categorical point of view, and applies these systems to interpretations of stochastic coalgebraic logics Includes supplementary material: sn.pub/extras
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642029943 Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series) (Doberkat, Ernst-Erich)
< Per archiviare...