Your search returned 15 results.

Sort
Results
1.
Computational Data and Social Networks [electronic resource] : 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 11280
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

2.
R-Calculus, III: Post Three-Valued Logic [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

3.
Algorithmic Aspects in Information and Management [electronic resource] : 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings / by Series: Theoretical Computer Science and General Issues ; 12290
Edition: 1st ed. 2020.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook
Availability: No items available.

4.
5.
6.
7.
R-Calculus, IV: Propositional Logic [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

8.
R-CALCULUS: A Logic of Belief Revision [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

9.
10.
R-Calculus, II: Many-Valued Logics [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

11.
Wireless Algorithms, Systems, and Applications [electronic resource] : 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10874
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

12.
Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / by Series: Lecture Notes in Computer Science ; 4138
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

13.
14.
15.
R-Calculus, V: Description Logics [electronic resource] / by Series: Perspectives in Formal Induction, Revision and Evolution
Edition: 1st ed. 2024.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in