語系
Kovacs, Laura.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and proofs = 16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
TAP (Conference) (2022 :); Kovacs, Laura.; Meinke, K.; SpringerLink (Online service); STAF (Federation of conferences) ((2022 :)
(書目-電子資源)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
IJCAR (Conference) (2022 :); Blanchette, Jasmin.; Kovacs, Laura.; Pattinson, Dirk.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Formal Logic.
Software Engineering.
Automatic theorem proving
Computer logic
Computer Science Logic and Foundations of Programming.
Computer software- Testing
Computer Engineering and Networks.
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer software- Verification
Models of Computation.