机译:使用RegionBased符号三维逻辑的符号过程摘要
机译:TLSim和EVC:术语级别的符号模拟器和有效的决策程序,用于具有未解释功能和存储的相等逻辑
机译:符号交替有限自动机的符号决策程序。
机译:2019年欧洲夏天会议象征性逻辑逻辑古典古典古典2019年布拉格,捷克共和国2019年8月11日至16日
机译:STVL:使用符号三值逻辑提高静态缺陷检测的精度
机译:一个符号框架,权衡矩阵以及对过程和过程遵循的经验研究。
机译:用符号逻辑建模躁狂抑郁症
机译:TLsim和EVC:一个术语级符号模拟器和一个有效的决策程序,用于平等的逻辑与未解释的函数和记忆
机译:ada(商标)编译器验证摘要报告:symbolics Incorporated。 symbolics ada Compiler,Version 2.0,symbolics 3670