Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Temporal Logic: Volume 1

Limba englezăengleză
Carte Copertă tare
Carte Temporal Logic: Volume 1 Dov M. Gabbay
Codul Libristo: 04527498
Editura Oxford University Press, iulie 1994
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Descrierea completă
? points 1243 b
2 694.58 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold / Carte Carte broșată
common.buy 660.76 lei
Anacondas Aparicio Publishing Aparicio Publishing LLC / Carte Copertă tare
common.buy 157.56 lei
NATO-Intelligence Günter Weiße / Carte Carte broșată
common.buy 199.61 lei
Une chaleur si proche Maruja Torres / Carte Carte broșată
common.buy 71.70 lei
Léčivé stromy a keře Pavel Váňa / Carte Copertă tare
common.buy 56.29 lei
Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun / Carte Carte broșată
common.buy 254.24 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Temporal Logic: Volume 1
Autor Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.
Limba engleză
Legare Carte - Copertă tare
Data publicării 1994
Număr pagini 668
EAN 9780198537694
ISBN 0198537697
Codul Libristo 04527498
Editura Oxford University Press
Greutatea 1214
Dimensiuni 163 x 246 x 44

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Temporal Logic: Volume 2 Dov M. Gabbay / Carte Copertă tare
common.buy 1 756.14 lei
Temporal Logic Dov M. Gabbay / Carte Carte broșată
common.buy 600.60 lei
Temporal Logic and State Systems Fred Kröger / Carte Copertă tare
common.buy 427.42 lei
Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt / Carte Carte broșată
common.buy 52.86 lei
Gifts for the Child of Winter BOB CHILCOTT / Materiale tipărite Note muzicale
common.buy 26.42 lei
I Knew You Before You Were Born Chris Lisle / Carte Carte broșată
common.buy 37.25 lei
Seaweed Sustainability Brijesh K. Tiwari / Carte Copertă tare
common.buy 994.32 lei
Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus / Carte Carte broșată
common.buy 126.13 lei
Soul of Education Rachael Kessler / Carte Carte broșată
common.buy 184.41 lei
Daughter Janice Lee / Carte Carte broșată
common.buy 96.68 lei
Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews / Carte Copertă tare
common.buy 310.34 lei
Laughing Lungs Charlie Ogden / Carte Copertă tare
common.buy 89.28 lei
The Cocktail Party T S Eliot / Carte Copertă tare
common.buy 161.72 lei
Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts / Carte Carte broșată
common.buy 199.81 lei
How a Schoolmaster Became a Catholic Taylor James P Taylor / Carte Carte broșată
common.buy 104.48 lei
Bossa Nova - 10 Latin Jazz Favorites / Carte Carte broșată
common.buy 109.48 lei
Physical realism, Thomas Case / Carte Carte broșată
common.buy 138.93 lei
Werewolf Magick Denny Sargent / Carte Carte broșată
common.buy 89.28 lei
Top
Cardiology for Babies Dr Haitham Ahmed / Carte Cărți pliante
common.buy 47.03 lei
Handbook of CALL Teacher Education and Professional Development Dara Tafazoli / Carte Copertă tare
common.buy 1 513.03 lei
Curând
Pink Floyd: Mind Over Matter Storm Thorgerson / Carte Copertă tare
common.buy 206.37 lei
Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson / Carte Carte broșată
common.buy 52.23 lei
Tapestry of Life Through the Eyes of Kitten Katherine Williams Black / Carte Copertă tare
common.buy 125.09 lei
Works of Francis Bacon ... a New Edition Basil Montagu / Carte Carte broșată
common.buy 163.60 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?