Mathematical Logic; Artificial Intelligence; Manuals; O Codes; Programming Languages; EDB/990200; C programming language;
机译:使用定理证明技术对容错进行形式验证
机译:有效分割大学图书馆用户的技术
机译:专为用户设计的图书馆:21世纪指南。
机译:有视觉障碍的网络用户对WCAG 2.0技术的远程评估
机译:具有成本效益的技术,用于基于用户会话的Web应用程序测试。
机译:专为用户设计的图书馆:21世纪指南。
机译:用于风力涡轮机叶片的数字制造和设计工具(NumaD v2.0):用户指南。
机译:OTTER(用于定理和其他有效研究的其他技术)1.0用户指南。