http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
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
International Workshop on Computer Aided Systems Theory 2001 : Las Palmas, Canary Islands)
1 online resource (xi, 670 pages) : illustrations
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.
Roberto Moreno-Díaz, Bruno Buchberger, José-Luis Freire (eds.).
Includes bibliographical references and index.
Computer aided systems theory--EUROCAST 2001
International Workshop on Computer Aided Systems Theory (8th : 2001 : Las Palmas (Canary Islands).
Lecture notes in computer science ; 2178
Lecture notes in artificial intelligence