Kovacs, Laura.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(1998 :); Kovacs, Laura.; Meinke, K.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(1998 :); Blanchette, Jasmin.; Kovacs, Laura.; Pattinson, Dirk.; SpringerLink (Online service)
(書目-電子資源)