Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Temporal Logic: Volume 1

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Temporal Logic: Volume 1 Dov M. Gabbay
Libristo kód: 04527498
Nakladatelství Oxford University Press, červenec 1994
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Celý popis
? points 1140 b
11 397 Kč
U nakladatele na objednávku Odesíláme za 17-26 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold / Kniha Brožovaná
common.buy 2 922 Kč
Anacondas Aparicio Publishing Aparicio Publishing LLC / Kniha Pevná
common.buy 651 Kč
NATO-Intelligence Günter Weiße / Kniha Brožovaná
common.buy 836 Kč
Une chaleur si proche Maruja Torres / Kniha Brožovaná
common.buy 331 Kč
Léčivé stromy a keře Pavel Váňa / Kniha Pevná
common.buy 254 Kč
Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun / Kniha Brožovaná
common.buy 1 173 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Temporal Logic: Volume 1
Autor Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1994
Počet stran 668
EAN 9780198537694
ISBN 0198537697
Libristo kód 04527498
Nakladatelství Oxford University Press
Váha 1214
Rozměry 163 x 246 x 44

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Temporal Logic: Volume 2 Dov M. Gabbay / Kniha Pevná
common.buy 7 444 Kč
Temporal Logic Dov M. Gabbay / Kniha Brožovaná
common.buy 2 646 Kč
Temporal Logic and State Systems Fred Kröger / Kniha Pevná
common.buy 1 770 Kč
Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt / Kniha Brožovaná
common.buy 244 Kč
Gifts for the Child of Winter BOB CHILCOTT / Tiskovina Noty
common.buy 122 Kč
Bossa Nova - 10 Latin Jazz Favorites / Kniha Brožovaná
common.buy 474 Kč
Seaweed Sustainability Brijesh K. Tiwari / Kniha Pevná
common.buy 4 380 Kč
Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus / Kniha Brožovaná
common.buy 519 Kč
Soul of Education Rachael Kessler / Kniha Brožovaná
common.buy 772 Kč
Daughter Janice Lee / Kniha Brožovaná
common.buy 403 Kč
Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews / Kniha Pevná
common.buy 1 299 Kč
Laughing Lungs Charlie Ogden / Kniha Pevná
common.buy 387 Kč
The Cocktail Party T S Eliot / Kniha Pevná
common.buy 665 Kč
Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts / Kniha Brožovaná
common.buy 837 Kč
How a Schoolmaster Became a Catholic Taylor James P Taylor / Kniha Brožovaná
common.buy 429 Kč
I Knew You Before You Were Born Chris Lisle / Kniha Brožovaná
common.buy 155 Kč
Sunset Jams Goal Accomplishing Book Bethany Healy / Kniha Brožovaná
common.buy 949 Kč
Physical realism, Thomas Case / Kniha Brožovaná
common.buy 570 Kč
Werewolf Magick Denny Sargent / Kniha Brožovaná
common.buy 362 Kč
Top
Cardiology for Babies Dr Haitham Ahmed / Kniha Leporelo
common.buy 179 Kč
Handbook of CALL Teacher Education and Professional Development Dara Tafazoli / Kniha Pevná
common.buy 6 632 Kč
Připravujeme
Pink Floyd: Mind Over Matter Storm Thorgerson / Kniha Pevná
common.buy 833 Kč
Texas Bride Rosanne Bittner / Kniha Brožovaná
common.buy 392 Kč
Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson / Kniha Brožovaná
common.buy 219 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?