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 1243 b
514.51 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold / Boek Gebonden (paperback)
common.buy 131.45 €
Anacondas Aparicio Publishing Aparicio Publishing LLC / Boek Gebonden (harde band)
common.buy 28.55 €
NATO-Intelligence Günter Weiße / Boek Gebonden (paperback)
common.buy 36.35 €
Une chaleur si proche Maruja Torres / Boek Gebonden (paperback)
common.buy 13.66 €
Léčivé stromy a keře Pavel Váňa / Boek Gebonden (harde band)
common.buy 10.73 €
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.50 €

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 321.66 €
Temporal Logic Dov M. Gabbay / Boek Gebonden (paperback)
common.buy 119.81 €
Temporal Logic and State Systems Fred Kröger / Boek Gebonden (harde band)
common.buy 77.37 €
Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt / Boek Gebonden (paperback)
common.buy 10.12 €
Gifts for the Child of Winter BOB CHILCOTT / Drukwerk Bladmuziek
common.buy 5.05 €
I Knew You Before You Were Born Chris Lisle / Boek Gebonden (paperback)
common.buy 6.78 €
Seaweed Sustainability Brijesh K. Tiwari / Boek Gebonden (harde band)
common.buy 198.50 €
Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus / Boek Gebonden (paperback)
common.buy 22.78 €
Soul of Education Rachael Kessler / Boek Gebonden (paperback)
common.buy 33.62 €
Daughter Janice Lee / Boek Gebonden (paperback)
common.buy 17.51 €
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 56.51 €
Laughing Lungs Charlie Ogden / Boek Gebonden (harde band)
common.buy 18.02 €
The Cocktail Party T S Eliot / Boek Gebonden (harde band)
common.buy 29.16 €
Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts / Boek Gebonden (paperback)
common.buy 36.45 €
How a Schoolmaster Became a Catholic Taylor James P Taylor / Boek Gebonden (paperback)
common.buy 18.83 €
Bossa Nova - 10 Latin Jazz Favorites / Boek Gebonden (paperback)
common.buy 22.17 €
Physical realism, Thomas Case / Boek Gebonden (paperback)
common.buy 25.11 €
Werewolf Magick Denny Sargent / Boek Gebonden (paperback)
common.buy 18.02 €
TOP
Cardiology for Babies Dr Haitham Ahmed / Boek Leporello (harmonicaboek)
common.buy 8.40 €
Handbook of CALL Teacher Education and Professional Development Dara Tafazoli / Boek Gebonden (harde band)
common.buy 303.33 €
Wordt verwacht
Pink Floyd: Mind Over Matter Storm Thorgerson / Boek Gebonden (harde band)
common.buy 39.39 €
Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson / Boek Gebonden (paperback)
common.buy 9.51 €
Tapestry of Life Through the Eyes of Kitten Katherine Williams Black / Boek Gebonden (harde band)
common.buy 22.88 €
Works of Francis Bacon ... a New Edition Basil Montagu / Boek Gebonden (paperback)
common.buy 29.77 €

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?