...
机译:Ciao及其设计理念概述
Universidad Politecnica de Madrid (UPM), Fac. Informatica, Campus de Montegancedo - UPM,28660 Boadilla del Monte, Madrid, Spain and Madrid Institute of Advanced Studies in Software Development Technology (IMDEA Software), Campus de Montegancedo - UPM,28660 Boadilla del Monte, Madrid, Spain;
Universidad Politecnica de Madrid (UPM), Fac. Informatica, Campus de Montegancedo - UPM,28660 Boadilla del Monte, Madrid, Spain;
Universidad Politecnica de Madrid (UPM), Fac. Informatica, Campus de Montegancedo - UPM,28660 Boadilla del Monte, Madrid, Spain;
Madrid Institute of Advanced Studies in Software Development Technology (IMDEA Software),Campus de Montegancedo - UPM, 28660 Boadilla del Monte, Madrid, Spain and Spanish Research Council, Serrano, 117, 28006 Madrid, Spain;
Universidad Complutense de Madrid (UCM), Fac. Informatica, Universidad Complutense de Madrid,C/ Prof. Jose Garcia Santesmases, s., 28040 Madrid, Spain;
Madrid Institute of Advanced Studies in Software Development Technology (IMDEA Software),Campus de Montegancedo - UPM, 28660 Boadilla del Monte, Madrid, Spain;
Universidad Politecnica de Madrid (UPM), Fac. Informatica, Campus de Montegancedo - UPM,28660 Boadilla del Monte, Madrid, Spain;
prolog; logic programming system; assertions; verification; extensible languages;
机译:CIAO的设计,一项研究计划,旨在支持荷兰预防肥胖和肥胖的综合方法的开发
机译:设计哲学,设计科学,工程设计:您的选择是什么?
机译:原创研究感知“第二次来临”:社会学,哲学,法律和神学中有关在私人和公共生活中重新出现的宗教的新概念的概述
机译:Ciao多范式语言和程序开发环境及其设计理念概述
机译:传统的加纳音乐教育学与哲学:三个加纳大师音乐家教学教学技术概述
机译:CIAO的设计一项研究计划旨在支持荷兰预防肥胖和肥胖的综合方法的开发
机译:为什么要C? Ciao系统的设计理念概述
机译:Nasa模型和模拟标准:哲学和要求概述。