×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 203-210 (2019).
MSC:  68W30
BibTeX Cite
Full Text: DOI
Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94204-9/pbk; 978-3-319-94205-6/ebook). Lecture Notes in Computer Science 10900. Lecture Notes in Artificial Intelligence, 354-369 (2018).
MSC:  68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software