Pulse en una miniatura para ir a Google Books.
Cargando... Algebras, Diagrams and Decisions in Language, Logic and Computation
Ninguno Cargando...
Inscríbete en LibraryThing para averiguar si este libro te gustará. Actualmente no hay Conversaciones sobre este libro. Ninguna reseña sin reseñas | añadir una reseña
Pertenece a las seriesCSLI Lecture Notes (144)
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly 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. No se han encontrado descripciones de biblioteca. |
Debates activosNinguno
Google Books — Cargando... GénerosSistema Decimal Melvil (DDC)410.151Language Linguistics Linguistics Philosophy and theory Mathematical principlesClasificación de la Biblioteca del CongresoValoraciónPromedio:
¿Eres tú?Conviértete en un Autor de LibraryThing. |