Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Temporal Logic: Volume 1

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04527498

Verlag Oxford University Press, Juli 1994

This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, o... Vollständige Beschreibung

Libristo-Code: 04527498

1243 b

507.99 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

129.79 €

Anacondas Aparicio Publishing Aparicio Publishing LLC

Hardcover

29.69 €

NATO-Intelligence Günter Weiße

Broschur

37.59 €

Une chaleur si proche Maruja Torres

Broschur

14.09 €

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

Hardcover

11.19 €

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

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logic: Volume 1

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

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1994

Anzahl der Seiten 668

EAN 9780198537694

ISBN 0198537697

Libristo-Code 04527498

Verlag Oxford University Press

Gewicht 1214

Abmessungen 163 x 246 x 44

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert