Menge:

oder

Loggen Sie sich ein, um 1-Click® einzuschalten.

oder


	Mit kostenloser Probeteilnahme bei Amazon Prime. Melden Sie sich w�hrend des Bestellvorgangs an. Erfahren Sie mehr

Alle Angebote

M�chten Sie verkaufen? Hier verkaufen

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

F�r Kunden: Stellen Sie Ihre eigenen Bilder ein.

Verleger: So k�nnen Kunden in diesem Buch suchen.

Den Verlag informieren!
Ich m�chte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) [Englisch] [Taschenbuch]

Michael Fisher (Herausgeber), Richard Owens (Herausgeber)

Preis:	EUR 42,75 kostenlose Lieferung. Siehe Details.
Angebotspreis:
	Alle Preisangaben inkl. MwSt.
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verf�gbar.

Lieferung bis Freitag, 1. Juni: W�hlen Sie an der Kasse Morning-Express. Siehe Details.

Produktinformation

Taschenbuch: 180 Seiten
Verlag: Springer Berlin Heidelberg; Auflage: 1 (17. Februar 1995)
Sprache: Englisch
ISBN-10: 3540589767
ISBN-13: 978-3540589761
Gr��e und/oder Gewicht: 15,6 x 23,4 x 1 cm

M�chten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

Ist der Verkauf dieses Produkts f�r Sie nicht akzeptabel?

Produktbeschreibungen

Kurzbeschreibung

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.

Synopsis

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 Al. 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.

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, k�nnen Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

Kundenrezensionen

Noch keine Kundenrezensionen vorhanden.

5 Sterne

4 Sterne

3 Sterne

2 Sterne

1 Sterne

Kundenrezension verfassen

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Kunden diskutieren

Das Forum zu diesem Produkt

Diskussion	Antworten	J�ngster Beitrag
Noch keine Diskussionen

Fragen stellen, Meinungen austauschen, Einblicke gewinnen

Neue Diskussion starten

Thema:

Erster Beitrag:

Bei neuen Eintr�gen E-Mail erhalten

Eingabe des Log-ins

Richtlinien

Aktive Diskussionen in �hnlichen Foren

Diskussion	Antworten	J�ngster Beitrag
Forum: englische b�cher Suche engl. B�cher mit denen ich die Sprache besser erlerne	8	Vor 2 Stunden
Forum: englische b�cher Aktuell kostenlose Kindle-B�cher in franz�sisch	10	Vor 2 Stunden
Forum: englische b�cher Welches englische Buch lest Ihr zur Zeit?	237	Vor 3 Stunden
Forum: englische b�cher Meet Our Authors	116	Vor 8 Stunden
Forum: englische b�cher We can get a book for free? Great! Please post here!	43	Vor 15 Stunden
Forum: englische b�cher Utopia/Dystopia	10	Vor 2 Tagen
Forum: englische b�cher it. girl band 6	1	Vor 4 Tagen
Forum: englische b�cher American Based Thriller Writers Please Post	117	Vor 5 Tagen