人工智能IntelligenceArtificialComputer
Alternative替代Sciences逻辑
Journal9781848902916印刷Applied
JournalLogics9781848902992Applications
Nonmonotonic单调TechniquesConcepts
Resistance抵抗逻辑海外
预售InformationDatabasesSystems
推论FoundationsDescriptionDefinitions
Probabilistic概率Networks逻辑
IntelligenceArtificial预订Logics
预售ReasoningLearningMachine
JournalLogicsApplications预订
逻辑模糊证明理论
ApplicationsInformaticsHilbert's预订
编译器CertifiedCompilers逻辑
Algebraictheoreticclassical预订
预售DescriptionTheoryLogics
人工智能NetherlandsAmsterdamSeptember
预售CertifiedCompilersProgram
预订TheoremProvingHigher
预售ComputationSemanticsLogics
预售TheoremProvingHigher
不确定性InformationUncertaintyRetrieval
和信InformationDatabases逻辑
DescriptionInferences预订Standard
JournalLogics9781848903456Applications
JournalLogics9781848903050Applications
ApplicationsPreferencesReasoning预订
西欧战后Migration移民
概率ProbabilityFormalization推理
欧洲人工智能IntelligenceArtificial
9783642073915Alternative预订Sciences
9781848902190Applications印刷Ifcolog
编程语言ImplementationsInternationalProgramming
ApplicationsClassicalHandbook逻辑
LanguageIntroductionFoundations预订
预订HandbookSpatialLogics
Nonmonotonic预订Logics