Articles liés à Algebras, Diagrams and Decisions in Language, Logic...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Algebras, Diagrams and Decisions in Language, Logic...
Image d'archives
Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)
Edité par
Center for the Study of Language, 2002
ISBN 10 : 1575863715
ISBN 13 : 9781575863719
Ancien ou d'occasion
Couverture rigide
Vendeur : Orca Knowledge Systems, Inc., Novato, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 3000110
Quantité disponible : 1 disponible(s)