Your search returned 207 results.

Sort
Results
1.
Multi-Agent Systems [electronic resource] : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 11450
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

2.
Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 6319
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

3.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11481
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

4.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7993
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

5.
Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by Series: Lecture Notes in Artificial Intelligence ; 11866
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

6.
7.
Frontiers of Combining Systems [electronic resource] : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11715
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

8.
Automated Deduction – CADE 27 [electronic resource] : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11716
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

9.
Automated Deduction – CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12699
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

10.
Towards Integrative Machine Learning and Knowledge Extraction [electronic resource] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10344
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

11.
Programming Multi-Agent Systems [electronic resource] : First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 3067
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

12.
13.
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12842
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

14.
Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12941
Edition: 1st ed. 2021.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook
Availability: No items available.

15.
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 12166
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.

16.
Controlled Natural Language [electronic resource] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9767
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

17.
Intelligent Computer Mathematics [electronic resource] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 12236
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.

18.
19.
20.
Discovery Science [electronic resource] : 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11828
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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