[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 2850 || Is Cantor’s Theorem Automatic?
- 作者Vardi, Moshe Y.; Voronkov, Andrei
- 文件大小263.16KB
- 发表时间2003
- DOI10.1007/978-3-540-39813-4_24
- 页码332-345
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979Springer-Verlag · 1979
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977Springer-Verlag · 1977
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976Springer-Verlag · 1976
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989Springer-Verlag · 1989
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976 ProceedingsSpringerVerlag · 1976
[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 9537 ||Artemov, Sergei; Nerode, Anil · 2016
[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 ||Artemov, Sergei; Nerode, Anil · 2018
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2005 Volume 3618 ||Jȩdrzejowicz, Joanna; Szepietowski, Andrzej · 2005
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 ||Zhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Similarity GraphsZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Decentralized ControlZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Parallel Ant Colony SystemsZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Design Patterns in Intelligent SystemsZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Functional Ontology for Intelligent InstrumentsZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || Collaborative Filtering – Safe and Sound?Zhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003
[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 2871 || PDL with Maximum Consistency MonitorsZhong, Ning; Raś, Zbigniew W.; Tsumoto, Shusaku; Suzuki, Einoshin · 2003