Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Temporal Logic: Volume 1

Język AngielskiAngielski
Książka Twarda
Książka Temporal Logic: Volume 1 Dov M. Gabbay
Kod Libristo: 04527498
Wydawnictwo Oxford University Press, lipiec 1994
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Cały opis
? points 1192 b
2 094.05 zł
Na zamówienie Wysyłamy za 17-26 dni

30 dni na zwrot towaru

Klienci kupili także

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold / Książka Miękka
common.buy 418.14 zł
Anacondas Aparicio Publishing Aparicio Publishing LLC / Książka Twarda
common.buy 121.11 zł
NATO-Intelligence Günter Weiße / Książka Miękka
common.buy 154.44 zł
Une chaleur si proche Maruja Torres / Książka Miękka
common.buy 58.19 zł
Léčivé stromy a keře Pavel Váňa / Książka Twarda
common.buy 47.31 zł
Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun / Książka Miękka
common.buy 206.09 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Temporal Logic: Volume 1
Autor Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.
Język Angielski
Oprawa Książka - Twarda
Data wydania 1994
Liczba stron 668
EAN 9780198537694
ISBN 0198537697
Kod Libristo 04527498
Wydawnictwo Oxford University Press
Waga 1214
Wymiary 163 x 246 x 44

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Temporal Logic: Volume 2 Dov M. Gabbay / Książka Twarda
common.buy 1 366.29 zł
Temporal Logic Dov M. Gabbay / Książka Miękka
common.buy 487.01 zł
Temporal Logic and State Systems Fred Kröger / Książka Twarda
common.buy 334.06 zł
Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt / Książka Miękka
common.buy 42.88 zł
Gifts for the Child of Winter BOB CHILCOTT / Prasa Nuty
common.buy 21.44 zł
Bossa Nova - 10 Latin Jazz Favorites / Książka Miękka
common.buy 88.69 zł
Seaweed Sustainability Brijesh K. Tiwari / Książka Twarda
common.buy 769.73 zł
Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus / Książka Miękka
common.buy 96.85 zł
Soul of Education Rachael Kessler / Książka Miękka
common.buy 142.66 zł
Daughter Janice Lee / Książka Miękka
common.buy 74.50 zł
Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews / Książka Twarda
common.buy 240.02 zł
Laughing Lungs Charlie Ogden / Książka Twarda
common.buy 72.38 zł
The Cocktail Party T S Eliot / Książka Twarda
common.buy 124.04 zł
Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts / Książka Miękka
common.buy 154.64 zł
How a Schoolmaster Became a Catholic Taylor James P Taylor / Książka Miękka
common.buy 114.97 zł
I Knew You Before You Were Born Chris Lisle / Książka Miękka
common.buy 28.79 zł
Sunset Jams Goal Accomplishing Book Bethany Healy / Książka Miękka
common.buy 174.88 zł
Physical realism, Thomas Case / Książka Miękka
common.buy 121.62 zł
TOP
Werewolf Magick Denny Sargent / Książka Miękka
common.buy 72.38 zł
TOP
Cardiology for Babies Dr Haitham Ahmed / Książka Leporelo
common.buy 35.83 zł
Handbook of CALL Teacher Education and Professional Development Dara Tafazoli / Książka Twarda
common.buy 1 165.52 zł
Zapowiedź
Pink Floyd: Mind Over Matter Storm Thorgerson / Książka Twarda
common.buy 156.96 zł
Texas Bride Rosanne Bittner / Książka Miękka
common.buy 73.09 zł
Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson / Książka Miękka
common.buy 40.37 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?