Blanchette, Jasmin.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /
by:
SpringerLink (Online service); Pattinson, Dirk.; Kovács, Laura.; Blanchette, Jasmin.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects