1
Logic-Based Program Synthesis and Transformation [E-Book] : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Multi-Agent Systems and Agreement Technologies [E-Book] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers /

Full text 
Favorites
Saved in:
3
Trends in Functional Programming [E-Book] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /

Full text 
Favorites
Saved in:
4
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [E-Book] : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /

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

Full text 
Favorites
Saved in:
6
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /

Full text 
Favorites
Saved in:
7
Logic Programming and Nonmonotonic Reasoning [E-Book] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Full text 
Favorites
Saved in:
8
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:
9
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:
10
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:
11
Frontiers of Combining Systems [E-Book] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings /

Full text 
Favorites
Saved in:
12
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:
13
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:
14
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings /

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

Full text 
Favorites
Saved in:
16
Provenance and Annotation of Data and Processes [E-Book] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings /

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

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

Full text 
Favorites
Saved in:
19
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /

Full text 
Favorites
Saved in:
20
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [E-Book] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /

Full text 
Favorites
Saved in:

Narrow Search Results