Author Search Results

Jasmin Blanchette

Jasmin Christian Blanchette is a computer scientist working as a professor of theoretical computer science at the Ludwig Maximilian University of Munich. Provided by Wikipedia

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

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: “...Blanchette, Jasmin....”