语音通信软件相关论文
针对目前语音通信软件设计中的困难,该文对通信流程形式化逻辑描述方法进行了研究.根据语音通信软件中呼叫控制过程的特点,该文使......
动作逻辑作为描述程序行为的语言．常应用于智能机器人的开发上。该文把动作逻辑作为程序设计中的一种形式化语言，把动作解释为造成系......
