Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Temporal Logic: Volume 1 Dov M. Gabbay

Temporal Logic: Volume 1

Lingua

Inglese

Libro Rigido

Libro Temporal Logic: Volume 1 Dov M. Gabbay

Codice Libristo: 04527498

Casa editrice Oxford University Press, luglio 1994

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

Codice Libristo: 04527498

?

points

1243 b

507.99 €

Presso l'editore su ordinazione Inviamo tra 17-26 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

/

In brossura

124.59 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

/

Rigido

29.69 €

NATO-Intelligence Günter Weiße

/

In brossura

37.59 €

Une chaleur si proche Maruja Torres

/

In brossura

14.09 €

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

/

Rigido

11.59 €

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

/

In brossura

49.99 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Temporal Logic: Volume 1

Autore Dov M. Gabbay, I.D. Hodkinson, Mark Reynolds, etc.

Lingua

Inglese

Rilegatura Libro - Rigido

Data di pubblicazione 1994

Numero di pagine 668

EAN 9780198537694

ISBN 0198537697

Codice Libristo 04527498

Casa editrice Oxford University Press

Peso 1214

Dimensioni 163 x 246 x 44

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Temporal Logic: Volume 2 Dov M. Gabbay

/

Rigido

331.09 €

Temporal Logic Dov M. Gabbay

/

In brossura

113.19 €

Temporal Logic and State Systems Fred Kröger

/

Rigido

80.59 €

Oxford Reading Tree: Level 5: More Stories A: Vanishing Cream Roderick Hunt

/

In brossura

10.49 €

Gifts for the Child of Winter BOB CHILCOTT

/

Note

5.29 €

Bossa Nova - 10 Latin Jazz Favorites

/

In brossura

20.59 €

Seaweed Sustainability Brijesh K. Tiwari

/

Rigido

204.49 €

Alamo in the Ardennes: The Untold Story of the American Soldiers Who Made the Defense of Bastogne Possible John C. McManus

/

In brossura

23.79 €

Soul of Education Rachael Kessler

/

In brossura

34.79 €

Daughter Janice Lee

/

In brossura

18.19 €

Descendants of Governor Thomas Welles of Connecticut and His Wife Alice Tomes, Volume 2, Part B Barbara Jean Mathews

/

Rigido

58.49 €

Laughing Lungs Charlie Ogden

/

Rigido

16.79 €

The Cocktail Party T S Eliot

/

Rigido

30.49 €

Browne and Watts' Law and Practice in Divorce & Matrimonial Causes. J H Watts

/

In brossura

37.69 €

How a Schoolmaster Became a Catholic Taylor James P Taylor

/

In brossura

19.69 €

I Knew You Before You Were Born Chris Lisle

/

In brossura

6.99 €

Sunset Jams Goal Accomplishing Book Bethany Healy

/

In brossura

42.49 €

Physical realism, Thomas Case

/

In brossura

26.19 €

Werewolf Magick Denny Sargent

/

In brossura

16.79 €

Cardiology for Babies Dr Haitham Ahmed

/

Leporello

8.89 €

Handbook of CALL Teacher Education and Professional Development Dara Tafazoli

/

Rigido

313.69 €

In preparazione

Pink Floyd: Mind Over Matter Storm Thorgerson

/

Rigido

38.89 €

Texas Bride Rosanne Bittner

/

In brossura

17.99 €

Believing, Blooming and letting go of the Blues Successfully dealing with Bi-polar Disorder Wendy Robinson

/

In brossura

9.79 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?