search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 237, ITP 2022, Complete Volume

LIPIcs, Volume 237, ITP 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 13th International Conference on Interactive Theorem Proving
ITP 2022 : August 7 - 10, 2022, Haifa, Israel
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 237
Media group: LIPIcs
Cover von Automated Deduction
CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10395
Media group: MONOGRAPHIE
Cover von Formal Methods
Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013 : Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8195
Media group: MONOGRAPHIE
Cover von Intelligent Computer Mathematics
9th International Conference, CICM 2016, Bialystok, Poland, July 25 - 29, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 9791
Media group: MONOGRAPHIE
OPEN V 11.1.0.0