Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Temporal Logic: Volume 1

Name: Temporal Logic: Volume 1
Brand: Oxford University Press
SKU: 04527498
Price: 493.02 EUR
Availability: InStock
Author: Dov M. Gabbay
ISBN: 9780198537694

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 04527498

Založba Oxford University Press, julij 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Celoten opis

Koda Libristo: 04527498

1195 b

493.02 €

Od založnika po naročilu Odposlali bomo v 17-26 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Anacondas Aparicio Publishing Aparicio Publishing LLC

Trda

26.34 €

Instrumental Sounds of Nature - Eye of the Storm Various Artists

Zvočni CD

10.09 €

L'Oracle des énergies lumineuses ALICIA MOLET

Trda

28.26 €

Une chaleur si proche Maruja Torres

Mehka

12.61 €

Die "Auffassungen" des UN-Menschenrechtsausschusses zum Schutze der Religionsfreiheit Bianca Petzhold

Mehka

88.84 €

Konzerninterne Dienstleistungen international tatiger Unternehmen. Die Verrechnungspreisproblematik und Besonderheiten in DBA-Abkommen ausgewahlter La Chris Krause

Mehka

40.18 €

NATO-Intelligence Günter Weiße

Mehka

34.52 €

Léčivé stromy a keře Pavel Váňa

Trda

10.49 €

Annales des voyages, de la géographie, de l'histoire et de l'archéologie Victor-Adolphe Malte-Brun

Mehka

44.21 €

The Hydrocene Bronwyn Bailey-Charteris

Mehka

56.84 €

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.