(untitled) - Borrione, Dominique
Keywords: Computer science.; Computer hardware.; Software engineering.; Logic design.; Artificial intelligence.; Computer aided design.; Computer Science.; Logics and Meanings of Programs.; Computer Hardware.; Software Engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Computer-Aided Engineering (CAD, CAE) and Design