Uncu, Ali Kemal
[Herausgeber:in];
Barbosa, Haniel
[Herausgeber:in]
;
International Workshop on Satisfiability Checking and Symbolic Computation 7. 2022 Haifa
SC-Square 2022: Satisfiability Checking and Symbolic Computation 2022
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
SC-Square 2022: Satisfiability Checking and Symbolic Computation 2022
:
proceedings of the 7th SC-Square Workshop, co-located with the Federated Logic Conference 2022 (FLoC 2022) as a part of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 12, 2022
Weitere Titel:
Abweichender Titel: SC2 2022: The 7th International Workshop on Satisfiability Checking and Symbolic Computation, August 12, 2022, Haifa, Israel