ApplicationsDependence逻辑依赖
可编程ProgrammablePrototyping逻辑
散文集ComputationPhilosophyCollection
IntroductionConceptsProblems逻辑
International归纳程序设计Programming
概率论归纳ProbabilityInductive
不确定性RepresentationUncertainty推理
InternationalProgramming推理Conference
InformationStructures逻辑海外
逻辑海外Logic
KitaabaManifestedHikmataUtility
国际会第五届InternationalApplications
医药图书DiscoveryDiagnosisMedicine
阈值Threshold逻辑海外
数理逻辑MathematicalComputerScience
PhilosophicalHandbook逻辑哲学
Programming推理Reasoning逻辑
可编程互连InterconnectionProgrammable
要素Elements逻辑海外
复杂系统混沌PerspectiveLanguage
可编程InternationalProgrammableApplications
斯基尼夫数学基础Foundations
InternationalDatabasesWorkshop逻辑
PracticalApproachHardware逻辑
InternationalProgramming研讨会Extensions
富士International第四届程序设计
原子ArchitectureProceedings电路
原型ProgrammablePrototypingDigital
CMOSImplementationTechnologies控制器
OptimizationSynthesis逻辑优化
印第安InternationaMultiple逻辑
应和并发SpecificationConcurrent
PROLOG导论IntroductionProgramming
原版方法论英文英语
FestschriftUniversalBirthday海外
Synthesis单元逻辑基于
Logic海外War's
语义建模Constraints约束
第十届InternationalApplicationsWorkshop
逻辑学形而上学ContributionMetaphysic
