Search Results - "Lecturer"

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers

“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Cold Micro Metal Forming Research Report of the Collaborative Research Center "Micro Cold Forming" (SFB 747), Bremen, Germany /

“…Lecture Notes in Production Engineering,…”
Link to Metadata

Flexitranstore Special Session in the 21st International Symposium on High Voltage Engineering (ISH 2019) /

“…Lecture Notes in Electrical Engineering,…”
Link to Metadata

Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceed...

“…Lecture Notes in Artificial Intelligence,…”
Link to Metadata

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

“…Lecture Notes in Electrical Engineering,…”
Link to Metadata

Designing Sustainability for All The Design of Sustainable Product-Service Systems Applied to Distributed Economies /

“…Lecture Notes in Mechanical Engineering,…”
Link to Metadata

Advances on Mechanics, Design Engineering and Manufacturing III Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 202...

“…Lecture Notes in Mechanical Engineering,…”
Link to Metadata

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

“…Lecture Notes in Artificial Intelligence,…”
Link to Metadata

Makers at School, Educational Robotics and Innovative Learning Environments Research and Experiences from FabLearn Italy 2019, in the Italian Schools and Beyond /

“…Lecture Notes in Networks and Systems,…”
Link to Metadata

Uncertainty in Mechanical Engineering Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7-8, 2021 /

“…Lecture Notes in Mechanical Engineering,…”
Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

“…Lecture Notes in Artificial Intelligence,…”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

“…Lecture Notes in Computer Science,…”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

“…Lecture Notes in Computer Science,…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

“…Lecture Notes in Computer Science,…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

“…Lecture Notes in Computer Science,…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

“…Lecture Notes in Computer Science,…”
Link to Metadata