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

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del 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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  1575863715 ISBN 13:  9781575863719
Editorial: Centre for the Study of Language..., 2002
Tapa dura