LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Executable Modal and Temporal Logics Michael Fisher
Libristo-Code: 05274453
Verlag Springer, Berlin, November 1994
This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Moda... Vollständige Beschreibung
? points 132 b
53.79 inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


Kernfragen. Psychologie Marcus Weeks / Buch Hardcover
common.buy 14.95
Engelkarten, Kartenset Jana Haas / Spiel/Spielzeug Spiel
common.buy 22.99
Philosophische Bildung Volker Steenblock / Buch Broschur
common.buy 19.49
Fils d'emigre Ernest Daudet / Buch Broschur
common.buy 21.49
Prince Valiant Hal Foster / Buch Hardcover
common.buy 41.89

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Executable Modal and Temporal Logics
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 188
EAN 9783540589761
ISBN 3540589767
Libristo-Code 05274453
Gewicht 295
Abmessungen 156 x 234 x 10
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

Das könnte Sie auch interessieren


Staying Dry Kathryn L. Burgio / Buch Broschur
common.buy 37.29
THE CHARANGON CHORD BIBLE: CFADA STANDAR TOBE A. RICHARDS / Buch Broschur
common.buy 26.19
2017 Anthology Read Write / Buch Broschur
common.buy 8.89
The Coming Prince Sir Robert Anderson / Buch Broschur
common.buy 29.49
Terreldor: The Long Path Home Chris M Hibbard / Buch Broschur
common.buy 13.19
Time of Gratitude Gennady Aygi / Buch Broschur
common.buy 17.69
Spider-man Vs. The Vulture Stan Lee / Buch Broschur
common.buy 32.59
Acoustic Guitar Owner's Manual: The Complete Guide String Letter Publishing / Buch Broschur
common.buy 17.39
Tristen's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 16.49
Kaspar Hauser Martin Kitchen / Buch Broschur
common.buy 118.29
Not Dead Yet and Other Stories Hadley Moore / Buch Broschur
common.buy 13.89
Professional Issues in Clinical Psychology Will Curvis / Buch Broschur
common.buy 45.49
Top
Gentle and Lowly Dane C. Ortlund / Buch Hardcover
common.buy 16.49
Persian Fables and Fairy Tales Keyvan Moghissi / Buch Broschur
common.buy 12.59
Radical Confidence Lisa Bilyeu / Buch Broschur
common.buy 19.89

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?