1
AI Approaches to the Complexity of Legal Systems XI-XII [E-Book] : AICOL International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
AI*IA 2015 Advances in Artificial Intelligence [E-Book] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings /

Full text 
Favorites
Saved in:
3
AI*IA 2016 Advances in Artificial Intelligence [E-Book] : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedings /

Full text 
Favorites
Saved in:
4
Algorithmic Aspects of Cloud Computing [E-Book] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
5
Automated Deduction - CADE 28 [E-Book] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Full text 
Favorites
Saved in:
6
Automated Reasoning [E-Book] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /

Full text 
Favorites
Saved in:
7
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /

Full text 
Favorites
Saved in:
8
Automated Reasoning with Analytic Tableaux and Related Methods [E-Book] : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings /

Full text 
Favorites
Saved in:
9
Belief Functions: Theory and Applications [E-Book] : 6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021, Proceedings /

Full text 
Favorites
Saved in:
10
Chinese Lexical Semantics [E-Book] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
11
Chinese Lexical Semantics [E-Book] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers /

Full text 
Favorites
Saved in:
12
Coalgebraic Methods in Computer Science [E-Book] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers /

Full text 
Favorites
Saved in:
13
Combinatorial Algorithms [E-Book] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /

Full text 
Favorites
Saved in:
14
Computational Processing of the Portuguese Language [E-Book] : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings /

Full text 
Favorites
Saved in:
15
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Full text 
Favorites
Saved in:
16
Computer Aided Verification [E-Book] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Full text 
Favorites
Saved in:
17
Computing and Combinatorics [E-Book] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /

Full text 
Favorites
Saved in:
18
Correct System Design [E-Book] : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

Full text 
Favorites
Saved in:
19
Deceptive AI [E-Book] : First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings /

Full text 
Favorites
Saved in:
20
Deductive Software Verification – The KeY Book [E-Book] : From Theory to Practice /

Full text 
Favorites
Saved in:

Narrow Search Results