RISC JKU
  • @inproceedings{RISC6631,
    author = {Temur Kutsia and Cleo Pau},
    title = {{A Framework for Approximate Generalization in Quantitative Theories}},
    booktitle = {{Automated Reasoning}},
    language = {english},
    series = {Lecture Notes in Artificial Intelligence},
    volume = {13385},
    pages = {578--596},
    publisher = {Springer},
    isbn_issn = {ISBN 978-3-031-10768-9},
    year = {2022},
    editor = {Jasmin Blanchette and Laura Kovács and and Dirk Pattinson},
    refereed = {yes},
    sponsor = {FWF},
    length = {19},
    conferencename = {11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022},
    url = {https://doi.org/10.1007/978-3-031-10769-6}
    }