Author Search Results

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

Participants: Blanchette, Jasmin. [ ]; Kovács, Laura. [ TeilnehmendeR ]; Pattinson, Dirk. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture Notes in Computer Science Series ; v.13385

Other Authors: “...Kovács, Laura....”

Links: Get full text

Automated reasoning : : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson.

Participants: Blanchette, Jasmin. [ TeilnehmendeR ]; Kovács, Laura. [ TeilnehmendeR ]; Pattinson, Dirk, 1970- [ TeilnehmendeR ]
Published: 2022;, 2022.
Superior document: Lecture notes in computer science v.13385

Free to read (incl. Open Access)

Other Authors: “...Kovács, Laura....”