A MANY-VALUED APPROACH TO DEDUCTION AND REASONING FOR ARTIFICIAL INTELLIGENCE
Cary G.deBessonet1991 年出版248 页ISBN:
Lecture Notes in Artificial Intelligence 4724 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20072007 年出版914 页ISBN:9783540752554
Lecture Notes in Artificial Intelligence 2143 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20012001 年出版818 页ISBN:3540424644
Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN:9783540730989
Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN:3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN:3540273263
Lecture Notes in Artificial Intelligence 3662 Lofic Programming and Nonmontonic Reasoning 8th Intern
LPNMR 20052005 年出版454 页ISBN:3540285385
Lecture Notes in Artificial Intelligence 3155 Advances in Case-Based Reasoning 7th European Conferen
ECCBR 20042004 年出版822 页ISBN:3540228829
Lecture Notes in Artificial Intelligence 3620 Case-Based Reasoning Research and Development 6th Inte
ICCBR 20052005 年出版654 页ISBN:3540281746
Lecture Notes in Artificial Intelligence 4626 Case-Based Reasoning Research and Development 7th Inte
ICCBR 20072007 年出版534 页ISBN:9783540741381