Search Results for Reasoning.

55 Results Found

1 2 3 4 5

000000000000DEFAULT

13.

Cover image for Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

Author

Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14274-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Author

Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03459-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

Author

Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85658-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

Author

Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74615-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

Author

Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11837787

Format:

Availability

Online Library~1

Available:
Copies:

18.

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

Author

Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11526988

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings

Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings

Author

Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80366-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings

Author

Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514 Roenne, Peter. editor. (orcid)0000-0002-2785-8301 Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Blom, Michelle. editor. (orcid)0000-0002-0459-9917

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72244-8

Format:

Availability

Online Library~1

Available:
Copies:

21.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8429-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8432-9

Format:

Availability

Online Library~1

Available:
Copies:

23.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8540-1

Format:

Availability

Online Library~1

Available:
Copies:

24.

Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X

Author

Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8549-4

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

	{displayName}	{count}
{error}