Skip to main content
  • Conference proceedings
  • Open Access
  • © 2022

Automated Reasoning

11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Editors:

(view affiliations)
  • This book is open access, which means that you have free and unlimited access

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13385)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)
This title has not yet been released. You will be able to pre-order it soon.

About this book

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Keywords

  • Open Access
  • Informatics
  • Conference Proceedings
  • Research
  • Applications
  • Open Access

Editors and Affiliations

  • Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Jasmin Blanchette

  • TU Wien, Wien, Austria

    Laura Kovács

  • Australian National University, Canberra, Australia

    Dirk Pattinson

Bibliographic Information

  • Book Title: Automated Reasoning

  • Book Subtitle: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

  • Editors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson

  • Series Title: Lecture Notes in Computer Science

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2022

  • License: CC BY

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Topics: Formal Languages and Automata Theory

Buying options

Softcover Book
USD 49.99
Price excludes VAT (USA)
This title has not yet been released. You will be able to pre-order it soon.