Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Moreno Díaz, Roberto (Editor), Pichler, Franz (Editor), Quesada Arencibia, Alexis (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3643
• Subjects: Computer science.; Microprocessors.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer simulation.; Computer-aided engineering.; Computer Science.; Computer-Aided Engineering (CAD, CAE) and Design.; Simulation and Modeling.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Processor Architectures.; Mathematical Logic and Formal Languages.

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) th...