dblp.uni-trier.de www.uni-trier.de

8. EUROCAST 2001: Las Palmas de Gran Canaria, Canary Islands, Spain

Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire (Eds.): Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers. Lecture Notes in Computer Science 2178 Springer 2001, ISBN 3-540-42959-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lectures

Computer Aided Systems Theory

Mathematical and Logic Formalisms

Information and Decision

Complexity

CAST in Neural-like Computation - Applications

CAST in Automation and Control

Computer Algebra and Automated Theorem Proving

Functional Programming and Lambda-Calculus

Copyright © Mon Nov 2 20:35:06 2009 by Michael Ley (ley@uni-trier.de)