Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Temporal Logic: Volume 1

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Temporal Logic: Volume 1 Dov M. Gabbay
Libristo-code: 04527498
Uitgeverij Oxford University Press, juli 1994
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Volledige beschrijving
? points 1304 b
538.52 €
Te bestellen bij de uitgever Wordt binnen 17-26 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Paryż. Inspirator podróżniczy Karolina Szczęsna / Boek Gebonden (paperback)
common.buy 11.31 €
Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun / Boek Gebonden (paperback)
common.buy 48.21 €
The Hydrocene Bronwyn Bailey-Charteris / Boek Gebonden (paperback)
common.buy 62.77 €
Léo Wixtair Scard Boek Boek
common.buy 17.48 €
Polska na rowerze. 60 wycieczek jednodniowych dla każdego Daniel Sienkiewicz / Boek Gebonden (paperback)
common.buy 14.35 €
NATO-Intelligence Günter Weiße / Boek Gebonden (paperback)
common.buy 36.28 €
LIVRE UNE CHANSON LEROY / Audio Audio cd
common.buy 18.19 €
Puzzle Charles Darwin Spel/speelgoed Spel
common.buy 27.29 €
Léčivé stromy a keře Pavel Váňa / Boek Gebonden (harde band)
common.buy 11.11 €
Konzerninterne Dienstleistungen international tatiger Unternehmen. Die Verrechnungspreisproblematik und Besonderheiten in DBA-Abkommen ausgewahlter La Chris Krause / Boek Gebonden (paperback)
common.buy 42.75 €
Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold / Boek Gebonden (paperback)
common.buy 102.90 €
Une chaleur si proche Maruja Torres / Boek Gebonden (paperback)
common.buy 13.54 €
L'Oracle des énergies lumineuses ALICIA MOLET / Boek Gebonden (harde band)
common.buy 30.72 €
Znovuzrozená Soňa Kolmanová / Boek Gebonden (paperback)
common.buy 7.17 €
Anacondas Aparicio Publishing Aparicio Publishing LLC / Boek Gebonden (harde band)
common.buy 28.90 €
Instrumental Sounds of Nature - Eye of the Storm Various Artists / Audio Audio cd
common.buy 10.60 €

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Temporal Logic: Volume 1
Auteur Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 1994
Aantal pagina's 668
EAN 9780198537694
ISBN 0198537697
Libristo-code 04527498
Uitgeverij Oxford University Press
Gewicht 1214
Afmetingen 163 x 246 x 44

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Temporal Logic: Volume 2 Dov M. Gabbay / Boek Gebonden (harde band)
common.buy 337.34 €
Temporal Logic Dov M. Gabbay / Boek Gebonden (paperback)
common.buy 119.48 €
Temporal Logic and State Systems Fred Kröger / Boek Gebonden (harde band)
common.buy 77.23 €
Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt / Boek Gebonden (paperback)
common.buy 10.10 €
Gifts for the Child of Winter BOB CHILCOTT / Drukwerk Bladmuziek
common.buy 5.04 €
The Cocktail Party T S Eliot / Boek Gebonden (harde band)
common.buy 29.11 €
Sunset Jams Goal Accomplishing Book Bethany Healy / Boek Gebonden (paperback)
common.buy 41.14 €
Bossa Nova - 10 Latin Jazz Favorites / Boek Gebonden (paperback)
common.buy 23.65 €
I Knew You Before You Were Born Chris Lisle / Boek Gebonden (paperback)
common.buy 6.76 €
How a Schoolmaster Became a Catholic Taylor James P Taylor / Boek Gebonden (paperback)
common.buy 18.79 €
Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts / Boek Gebonden (paperback)
common.buy 36.38 €
Soul of Education Rachael Kessler / Boek Gebonden (paperback)
common.buy 33.55 €
Revenue Laws of California (Annotated) 1965 Statutes Etc [From O California Laws / Boek Gebonden (paperback)
common.buy 17.07 €
Laughing Lungs Charlie Ogden / Boek Gebonden (harde band)
common.buy 17.98 €
TOP
NKJV, Cultural Backgrounds Study Bible, Hardcover, Red Letter Craig S. Keener / Boek Gebonden (harde band)
common.buy 44.88 €
Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews / Boek Gebonden (harde band)
common.buy 57.11 €
Daughter Janice Lee / Boek Gebonden (paperback)
common.buy 17.48 €
Ultimate Ninja Foodi Cookbook Justin Warner / Boek Gebonden (harde band)
common.buy 22.84 €
Physical realism, Thomas Case / Boek Gebonden (paperback)
common.buy 25.06 €
Werewolf Magick Denny Sargent / Boek Gebonden (paperback)
common.buy 17.98 €
TOP
Rehabilitate, Rewire, Recover!: Anorexia recovery for the determined adult Tabitha Farrar / Boek Gebonden (paperback)
common.buy 19.20 €
TOP
Cardiology for Babies Dr Haitham Ahmed / Boek Leporello (harmonicaboek)
common.buy 8.38 €
To Save the World, Can You Wake Up the Morning After with a Demi-Human?, Vol. 3 Rekomaru Otoi / Boek Gebonden (paperback)
common.buy 10.60 €
Cutting Down Mima (South London and Maudsley NHS Simic / Boek Gebonden (paperback)
common.buy 61.66 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?