Veröffentlichungen
Autoren:
Bartosz Piotrowski, Josef Urban
Veröffentlicht in:
Automated Reasoning, Ausgabe 10900, 2018, Seite(n) 566-574, ISBN 978-3-319-94204-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-94205-6_37
Autoren:
Bartosz Piotrowski, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Ausgabe 12236, 2020, Seite(n) 309-314, ISBN 978-3-030-53517-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_23
Autoren:
Zsolt Zombori, Josef Urban, Chad E. Brown
Veröffentlicht in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Ausgabe 12167, 2020, Seite(n) 489-507, ISBN 978-3-030-51053-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_33
Autoren:
Josef Urban, Jan Jakubův
Veröffentlicht in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Ausgabe 12236, 2020, Seite(n) 315-323, ISBN 978-3-030-53517-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_24
Autoren:
Thibault Gauthier
Veröffentlicht in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Ausgabe 12236, 2020, Seite(n) 278-283, ISBN 978-3-030-53517-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_18
Autoren:
Grzegorz Bancerek, Adam Naumowicz, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Ausgabe 11006, 2018, Seite(n) 1-6, ISBN 978-3-319-96811-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_1
Autoren:
Bernhard Gleiss, Martin Suda
Veröffentlicht in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I, Ausgabe 12166, 2020, Seite(n) 402-409, ISBN 978-3-030-51073-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51074-9_23
Autoren:
Zarathustra Goertzel, Jan Jakubův, Josef Urban
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, Ausgabe 11714, 2019, Seite(n) 374-388, ISBN 978-3-030-29025-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29026-9_21
Autoren:
Karel Chvalovský, Jan Jakubův, Martin Suda, Josef Urban
Veröffentlicht in:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Ausgabe 11716, 2019, Seite(n) 197-215, ISBN 978-3-030-29435-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_12
Autoren:
Qingxiang Wang, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Ausgabe 11006, 2018, Seite(n) 255-270, ISBN 978-3-319-96811-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_22
Autoren:
Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Semantic Web Collaborative Spaces. SWCS 2013, SWCS 2014. Lecture Notes in Computer Science, vol 9507, Ausgabe 9507, 2016, Seite(n) 35-52, ISBN 978-3-319-32666-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-32667-2_3
Autoren:
Jan Jakubův, Cezary Kaliszyk
Veröffentlicht in:
Mathematical Software – ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings, Ausgabe 10931, 2018, Seite(n) 245-254, ISBN 978-3-319-96417-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96418-8_29
Autoren:
Zarathustra Goertzel, Jan Jakubův, Stephan Schulz, Josef Urban
Veröffentlicht in:
Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, Ausgabe 10895, 2018, Seite(n) 270-288, ISBN 978-3-319-94820-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-94821-8_16
Autoren:
Chad E. Brown, Karol Pąk
Veröffentlicht in:
Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings, Ausgabe 11617, 2019, Seite(n) 44-60, ISBN 978-3-030-23249-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-23250-4_4
Autoren:
Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
Veröffentlicht in:
Automated Deduction – CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings, Ausgabe 11716, 2019, Seite(n) 123-141, ISBN 978-3-030-29435-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29436-6_8
Autoren:
Jan Jakubův, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings, Ausgabe 11006, 2018, Seite(n) 118-124, ISBN 978-3-319-96811-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96812-4_11
Autoren:
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Veröffentlicht in:
Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, Ausgabe 12236, 2020, Seite(n) 271-277, ISBN 978-3-030-53517-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53518-6_17
Autoren:
Jan Jakubův, Karel Chvalovský, Miroslav Olšák, Bartosz Piotrowski, Martin Suda, Josef Urban
Veröffentlicht in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Ausgabe 12167, 2020, Seite(n) 448-463, ISBN 978-3-030-51053-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_29
Autoren:
Zarathustra Amadeus Goertzel
Veröffentlicht in:
Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, Ausgabe 12167, 2020, Seite(n) 408-415, ISBN 978-3-030-51053-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-51054-1_26
Autoren:
Filip Bártek, Martin Suda
Veröffentlicht in:
PAAR 2020, 2020, Seite(n) 21--33
Herausgeber:
CEUR-WS.org
Autoren:
Thibault Gauthier
Veröffentlicht in:
EPiC Series in Computing volume 73, 2020, Seite(n) 230-210
Herausgeber:
EasyChair
DOI:
10.29007/7jmg
Autoren:
Chad Brown; Cezary Kaliszyk; Karol Pąk
Veröffentlicht in:
10th International Conference on Interactive Theorem Proving, Ausgabe 3, 2019, Seite(n) 9:1-9:16
Herausgeber:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.itp.2019.9
Autoren:
Mikolas Janota, Martin Suda
Veröffentlicht in:
EPiC Series in Computing volume 57, 2018, Seite(n) 454-436
Herausgeber:
EasyChair
DOI:
10.29007/w42s
Autoren:
Olšák, Miroslav; Kaliszyk, Cezary; Urban, Josef
Veröffentlicht in:
ECAI 2020 - 24th European Conference on Artificial Intelligence, Ausgabe 16, 2020, Seite(n) 1395-1402
Herausgeber:
IOS Press
DOI:
10.3233/faia200244
Autoren:
Martin Suda
Veröffentlicht in:
EPiC Series in Computing volume 71, 2020, Seite(n) 38-30
Herausgeber:
EasyChair
DOI:
10.29007/q4pt
Autoren:
Kaliszyk, Cezary; Urban, Josef; Michalewski, Henryk; Olšák, Mirek
Veröffentlicht in:
Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, Ausgabe 31, 2018, Seite(n) 8836-8847
Herausgeber:
Curran Associates, Inc.
Autoren:
Bartosz Piotrowski, Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 73, 2020, Seite(n) 409-394
Herausgeber:
EasyChair
DOI:
10.29007/j5hd
Autoren:
Jakubův, Jan; Urban, Josef
Veröffentlicht in:
10th International Conference on Interactive Theorem Proving, Ausgabe 2, 2019, Seite(n) 34:1--34:8, ISBN 978-3-95977-122-1
Herausgeber:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.itp.2019.34
Autoren:
Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
Veröffentlicht in:
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Ausgabe 10395, 2017, Seite(n) 310-325, ISBN 978-3-319-63045-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_19
Autoren:
Cezary Kaliszyk, Karol Pąk, Josef Urban
Veröffentlicht in:
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016, 2016, Seite(n) 58-65, ISBN 9781-450341271
Herausgeber:
ACM Press
DOI:
10.1145/2854065.2854070
Autoren:
Michael Färber, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Automated Deduction - CADE 26 - 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings, LNCS, Ausgabe 10395, 2017, Seite(n) 563-579, ISBN 978-3-319-63045-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_34
Autoren:
Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Veröffentlicht in:
Interactive Theorem Proving - 8th International Conference, LNCS 10499, 2017, Seite(n) 12-27, ISBN 978-3-319-66106-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-66107-0_2
Autoren:
Jan Jakubuv, Martin Suda, Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 50, 2017, Seite(n) 121-107
Herausgeber:
EasyChair
DOI:
10.29007/xghj
Autoren:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 46, 2017, Seite(n) 125-105
Herausgeber:
EasyChair
DOI:
10.29007/ntlb
Autoren:
Jan Jakubův, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science, vol 10383, Ausgabe 10383, 2017, Seite(n) 292-302, ISBN 978-3-319-62074-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-62075-6_20
Autoren:
Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 51, 2017, Seite(n) 33-28
Herausgeber:
EasyChair
DOI:
10.29007/26gg
Autoren:
Jan Jakubův, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Ausgabe 9791, 2016, Seite(n) 151-156, ISBN 978-3-319-42546-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_11
Autoren:
Chad E. Brown, Josef Urban
Veröffentlicht in:
Intelligent Computer Mathematics. CICM 2016. Lecture Notes in Computer Science, vol 9791, Ausgabe 9791, 2016, Seite(n) 99-114, ISBN 978-3-319-42546-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-42547-4_8
Autoren:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016, 2017, Seite(n) 219-228
Herausgeber:
CEUR-WS.org
Autoren:
Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Veröffentlicht in:
Frontiers of Combining Systems. Lecture Notes in Computer Science, vol 9322, Ausgabe 9322, 2015, Seite(n) 341-356, ISBN 978-3-319-24245-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-24246-0_21
Autoren:
Josef Urban, Robert Veroff
Veröffentlicht in:
EPiC Series in Computing volume 40, 2016, Seite(n) 122-116
Herausgeber:
EasyChair
DOI:
10.29007/pqh1
Autoren:
Josef Urban
Veröffentlicht in:
EPiC Series in Computing volume 36, 2015, Seite(n) 312-303
Herausgeber:
EasyChair
DOI:
10.29007/8n7m
Autoren:
Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, vol 9450, Ausgabe 9450, 2015, Seite(n) 88-96, ISBN 978-3-662-48898-0
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-48899-7_7
Autoren:
Yutaka Nagashima, Ramana Kumar
Veröffentlicht in:
Automated Deduction – CADE 26. CADE 2017. Lecture Notes in Computer Science, vol 10395, Ausgabe 10395, 2017, Seite(n) 528-545, ISBN 978-3-319-63045-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_32
Autoren:
Jan Jakubuv, Josef Urban
Veröffentlicht in:
CPP 2017 Proceedings, 2017, Seite(n) 43-52, ISBN 978-1-4503-4705-1
Herausgeber:
ACM
DOI:
10.1145/3018610.3018619
Autoren:
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Veröffentlicht in:
EPiC Series in Computing volume 40, Ausgabe vol 40, pages 27-36, 2016, Seite(n) 27-16, ISSN 2398-7340
Herausgeber:
EasyChair
DOI:
10.29007/8c2m
Autoren:
Alex A. Alemi, François Chollet, Geoffrey Irving, Christian Szegedy, Josef Urban
Veröffentlicht in:
Advances in Neural Information Processing Systems 29 (NIPS 2016), Ausgabe 29, NIPS 2016, 2016, Seite(n) 2235--2243
Herausgeber:
Neural Information Processing Systems Foundation, Inc.
Autoren:
Michael Färber, Chad E. Brown
Veröffentlicht in:
IJCAR 2016, Ausgabe Lecture Notes in Computer Science, vol 9706, 2016, Seite(n) 349-361, ISBN 978-3-319-40228-4
Herausgeber:
Springer
DOI:
10.1007/978-3-319-40229-1_24
Autoren:
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Veröffentlicht in:
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017, Seite(n) 169-172, ISBN 978-1-5386-2626-9
Herausgeber:
IEEE
DOI:
10.1109/SYNASC.2017.00036
Autoren:
David Damestani, Laura Kovacs, Martin Suda
Veröffentlicht in:
2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2019, Seite(n) 95-99, ISBN 978-1-7281-5724-5
Herausgeber:
IEEE
DOI:
10.1109/synasc49474.2019.00022
Autoren:
Adrián Rebola-Pardo, Martin Suda
Veröffentlicht in:
EPiC Series in Computing volume 57, 2018, Seite(n) 583-561
Herausgeber:
EasyChair
DOI:
10.29007/tc7q
Autoren:
Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, Seite(n) 85-98, ISBN 9781450370974
Herausgeber:
ACM
DOI:
10.1145/3372885.3373827
Autoren:
Bernhard Gleiss, Martin Suda
Veröffentlicht in:
PAAR 2020, 2020, Seite(n) 34--52
Herausgeber:
CEUR-WS.org
Autoren:
Zarathustra Goertzel, Jan Jakubuv, Josef Urban
Veröffentlicht in:
Kalpa Publications in Computing volume 9, 2018, Seite(n) 15-6
Herausgeber:
EasyChair
DOI:
10.29007/z7qx
Autoren:
Giles Reger, Martin Riener, Martin Suda
Veröffentlicht in:
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, Ausgabe 11715, 2019, Seite(n) 3-21, ISBN 978-3-030-29006-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29007-8_1
Autoren:
Lasse Blaauwbroek, Josef Urban, Herman Geuvers
Veröffentlicht in:
EPiC Series in Computing volume 73, 2020, Seite(n) 138-124
Herausgeber:
EasyChair
DOI:
10.29007/wg1q
Autoren:
Pierre Pradic, Chad E. Brown
Veröffentlicht in:
CoRR, 2019
Herausgeber:
CoRR
Autoren:
George Labahn, James H. Davenport, Josef Urban
Veröffentlicht in:
Mathematics in Computer Science, Ausgabe 14/3, 2020, Seite(n) 531-532, ISSN 1661-8270
Herausgeber:
Birkhauser Verlag
DOI:
10.1007/s11786-020-00475-z
Autoren:
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
Veröffentlicht in:
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III, Ausgabe 11429, 2019, Seite(n) 3-24, ISBN 978-3-030-17501-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17502-3_1
Autoren:
Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz, Josef Urban
Veröffentlicht in:
AI Communications, Ausgabe 31/3, 2018, Seite(n) 235-236, ISSN 0921-7126
Herausgeber:
IOS Press
DOI:
10.3233/aic-180765
Autoren:
Chad E. Brown, Thibault Gauthier
Veröffentlicht in:
CoRR, 2019
Herausgeber:
arxiv.org
Autoren:
Zombori, Zsolt; Csiszárik, Adrián; Michalewski, Henryk; Kaliszyk, Cezary; Urban, Josef
Veröffentlicht in:
CoRR, Ausgabe 3, 2019
Herausgeber:
arxiv.org
Autoren:
John Harrison, Josef Urban, Freek Wiedijk
Veröffentlicht in:
Journal of Formalized Reasoning, Ausgabe 9, 2016, Seite(n) 1-2, ISSN 1972-5787
Herausgeber:
Alma Mater Studiorum (Bologna)
DOI:
10.6092/issn.1972-5787/5974
Autoren:
Bartosz Piotrowski, Josef Urban, Chad E. Brown, Cezary Kaliszyk
Veröffentlicht in:
CoRR, 2019
Herausgeber:
arxiv.org
Autoren:
James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Veröffentlicht in:
2018, ISBN 978-3-319-96418-8
Herausgeber:
Springer
DOI:
10.1007/978-3-319-96418-8
Autoren:
Jan Jakubův, Josef Urban
Veröffentlicht in:
AI Communications, Ausgabe 31/3, 2018, Seite(n) 237-250, ISSN 0921-7126
Herausgeber:
IOS Press
DOI:
10.3233/aic-180761
Autoren:
Marijn J. H. Heule, Matti Järvisalo, Martin Suda
Veröffentlicht in:
Journal on Satisfiability, Boolean Modeling and Computation, Ausgabe 11/1, 2019, Seite(n) 133-154, ISSN 1574-0617
Herausgeber:
IOS Press
DOI:
10.3233/sat190120
Autoren:
Chad E. Brown, Karol Pąk
Veröffentlicht in:
Formalized Mathematics, Ausgabe 27/4, 2019, Seite(n) 321-335, ISSN 1426-2630
Herausgeber:
University of Bialystok
DOI:
10.2478/forma-2019-0027
Autoren:
Michael Färber, Cezary Kaliszyk, Josef Urban
Veröffentlicht in:
Journal of Automated Reasoning, 2020, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09576-7
Autoren:
Geoff Sutcliffe, Josef Urban
Veröffentlicht in:
AI Communications, Ausgabe 29/3, 2016, Seite(n) 423-433, ISSN 0921-7126
Herausgeber:
IOS Press
DOI:
10.3233/AIC-150691
Autoren:
Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk, Daniel Kühlwein, Josef Urban
Veröffentlicht in:
Journal of Automated Reasoning, Ausgabe 57/3, 2016, Seite(n) 219-244, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-016-9362-8
Autoren:
THOMAS HALES, MARK ADAMS, GERTRUD BAUER, TAT DAT DANG, JOHN HARRISON, LE TRUONG HOANG, CEZARY KALISZYK, VICTOR MAGRON, SEAN MCLAUGHLIN, TAT THANG NGUYEN, QUANG TRUONG NGUYEN, TOBIAS NIPKOW, STEVEN OBUA, JOSEPH PLESO, JASON RUTE, ALEXEY SOLOVYEV, THI HOAI AN TA, NAM TRUNG TRAN, THI DIEP TRIEU, JOSEF URBAN, KY VU, ROLAND ZUMKELLER
Veröffentlicht in:
Forum of Mathematics, Pi, Ausgabe 5, 2017, ISSN 2050-5086
Herausgeber:
Cambridge University Press
DOI:
10.1017/fmp.2017.1
Autoren:
Freek Wiedijk, Herman Geuvers, Josef Urban
Veröffentlicht in:
Nieuw Archief voor Wiskunde, Ausgabe 5/17, 2016, Seite(n) 177-183, ISSN 0028-9825
Herausgeber:
Nieuw Archief voor Wiskunde
Autoren:
Jasmin C. Blanchette, Cezary Kaliszyk, Lawrence C. Paulson, Josef Urban
Veröffentlicht in:
Journal of Formalized Reasoning, Ausgabe vol9, no 1, 2016, Seite(n) 101-148, ISSN 1972-5787
Herausgeber:
Alma Mater Studiorum (Bologna)
DOI:
10.6092/issn.1972-5787/4593
Autoren:
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Veröffentlicht in:
Journal of Automated Reasoning, 2020, ISSN 0168-7433
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10817-020-09580-x
Autoren:
Jan Jakubův, Cezary Kaliszyk
Veröffentlicht in:
Mathematics in Computer Science, Ausgabe 14/3, 2020, Seite(n) 657-670, ISSN 1661-8270
Herausgeber:
Birkhauser Verlag
DOI:
10.1007/s11786-020-00474-0
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor