Search Results - "Lecture Notes in Artificial Intelligence"

Refine Results
  1. 1
  2. 2
  3. 3

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

    Published 2021
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  4. 4

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

    Published 2022
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  5. 5

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

    Published 2022
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  6. 6

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

    Published 2023
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  7. 7

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

    Published 2023
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  8. 8
  9. 9
  10. 10

    Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications /

    Published 2012
    “…Lecture Notes in Artificial Intelligence,…”
    Link to Metadata
    Electronic eBook
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15

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

    Published 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 16

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

    Published 2023
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  17. 17

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

    Published 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  18. 18

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

    Published 2021
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  19. 19

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

    Published 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 20

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

    Published 2022
    “…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter