Moreno Díaz, Roberto.
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 / [electronic resource] : edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3643 0302-9743 ; . - Lecture Notes in Computer Science, 3643 .
9783540318293
10.1007/11556985 doi
Computer science.
Logic design.
Artificial intelligence.
Computer simulation.
Computer aided design.
Computer Science.
Simulation and Modeling.
Computer-Aided Engineering (CAD, CAE) and Design.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Processor Architectures.
Mathematical Logic and Formal Languages.
QA76.9.C65
003.3
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 / [electronic resource] : edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3643 0302-9743 ; . - Lecture Notes in Computer Science, 3643 .
9783540318293
10.1007/11556985 doi
Computer science.
Logic design.
Artificial intelligence.
Computer simulation.
Computer aided design.
Computer Science.
Simulation and Modeling.
Computer-Aided Engineering (CAD, CAE) and Design.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Processor Architectures.
Mathematical Logic and Formal Languages.
QA76.9.C65
003.3