01708nlm0 22004691i 450 9900092515204033219783540318293000925152FED01000925152(Aleph)000925152FED0100092515220100926d2005----km-y0itay50------baengDEdrnn-008mamaaComputer Aided Systems Theory – EUROCAST 2005Risorsa elettronica10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papersedited by Roberto MorenoBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433643Documento elettronicoTestoFormato html, pdfMoreno-Diaz,RobertoPichler,FranzQuesada Arencibia,AlexisITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11556985EB990009251520403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer aided designComputer scienceComputer ScienceComputer simulationComputer-Aided Engineering (CAD, CAE) and DesignLogic designLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesProcessor ArchitecturesSimulation and ModelingComputer Aided Systems Theory – EUROCAST 2005774265UNINA