Identificador persistente para citar o vincular este elemento: http://hdl.handle.net/10553/56744
Título: Computer aided systems theory - Eurocast 2001: a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 revised papers
Autores/as: Freire, José-Luis
Moreno Díaz, Roberto 
Buchberger, Bruno
Clasificación UNESCO: 1203 Ciencia de los ordenadores
Fecha de publicación: 2001
Resumen: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Computer Aided Systems Theory, EUROCAST 2001, held in Las Palmas de Gran Canaria, Spain in February 2001. The 48 revised full papers presented together with two invited papers were carefully selected during two rounds of reviewing and revision. The book offers topical sections on computer aided systems theory, mathematical and logical formalisms, information and decision, complexity, neural-like computation, automation and control, computer algebra and automated theorem proving, and functional programming and lambda calculus.
URI: http://hdl.handle.net/10553/56744
ISBN: 3-540-42959-X
978-3-540-42959-3
DOI: 10.1007/3-540-45654-6
URL: http://dialnet.unirioja.es/servlet/libro?codigo=368335
Colección:Libro
Vista completa

Visitas

89
actualizado el 22-jun-2024

Google ScholarTM

Verifica

Altmetric


Comparte



Exporta metadatos



Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.