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