Jasmin Christian Blanchette

View Scopus Profile

dr. Jasmin Christian Blanchette

 https://orcid.org/0000-0002-8367-0936
Filter
Foreword/postscript

Search results

  • 2022

    Preface

    Blanchette, J., Kovács, L. & Pattinson, D., 2022, Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer, p. v-v 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Chapter in Book / Report / Conference proceeding › Foreword/postscript › Academic