Verwandte Artikel zu Algebras, Diagrams and Decisions in Language, Logic...

Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes) - Hardcover

 
9781575863719: Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)

Inhaltsangabe

This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Gut
First Edition. A few library markings...
Diesen Artikel anzeigen

EUR 29,22 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9781575863726: Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)

Vorgestellte Ausgabe

ISBN 10:  1575863723 ISBN 13:  9781575863726
Verlag: Centre for the Study of Language..., 2002
Softcover

Suchergebnisse für Algebras, Diagrams and Decisions in Language, Logic...

Beispielbild für diese ISBN

ISBN 10: 1575863715 ISBN 13: 9781575863719
Gebraucht Hardcover

Anbieter: Orca Knowledge Systems, Inc., Novato, CA, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Very Good. First Edition. A few library markings, no library wear. No DJ. Binding is tight, text clean. This volume shows how the shared interests of three different research areas can lead to significant exchanges: six papers present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler. Bestandsnummer des Verkäufers 3000110

Verkäufer kontaktieren

Gebraucht kaufen

EUR 27,61
Währung umrechnen
Versand: EUR 29,22
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb