المؤلفون: Schreiner, Wolfgang, Reichl, Franz-Xaver

المصدر: EPTCS 342, 2021, pp. 99-113

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2109.02805Test

المؤلفون: Reichl, Franz-Xaver, Slivovsky, Friedrich, Szeider, Stefan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2106.02550Test

المؤلفون: Reichl, Franz-Xaver, Slivovsky, Friedrich

المساهمون: Franz-Xaver Reichl and Friedrich Slivovsky

مصطلحات موضوعية: DQBF, DQBF Solver, Decision Procedure, Certificates

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022); urn:nbn:de:0030-drops-166941; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.20Test

الإتاحة: https://doi.org/10.4230/LIPIcs.SAT.2022.20Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-166941Test

المؤلفون: Schreiner, Wolfgang, Reichl, Franz-Xaver

مصطلحات موضوعية: model checking, satisfiability solving, formal specification, formal verficiation

جغرافية الموضوع: UL:TN:SR

وصف الملف: 30 Seiten; text/html

العلاقة: vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-7133/128Test; urn:nbn:at:at-ubl:3-7133; https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-7133Test; local:99146105477103331; system:AC16229740

الإتاحة: https://doi.org/10.35011/risc.21-11Test
https://resolver.obvsg.at/urn:nbn:at:at-ubl:3-7133Test

المؤلفون: Reichl, Franz-Xaver, Högg, Christof, Liu, Fangfang, Schwarz, Markus, Teupser, Daniel, Hickel, Reinhard, Bloch, Wilhelm, Schweikl, Helmut, Thomas, Peter, Summer, Burkhard

المصدر: European Journal of Applied Physiology ; volume 122, issue 1, page 267-267 ; ISSN 1439-6319 1439-6327

مصطلحات موضوعية: Physiology (medical), Public Health, Environmental and Occupational Health, Orthopedics and Sports Medicine, General Medicine, Physiology

الإتاحة: https://doi.org/10.1007/s00421-021-04824-zTest

المؤلفون: Reichl, Franz-Xaver, Högg, Christof, Liu, Fangfang, Schwarz, Markus, Teupser, Daniel, Hickel, Reinhard, Bloch, Wilhelm, Schweikl, Helmut, Thomas, Peter, Summer, Burkhard

المساهمون: Projekt DEAL

المصدر: European Journal of Applied Physiology ; volume 120, issue 7, page 1671-1680 ; ISSN 1439-6319 1439-6327

مصطلحات موضوعية: Physiology (medical), Public Health, Environmental and Occupational Health, Orthopedics and Sports Medicine, General Medicine, Physiology

الإتاحة: https://doi.org/10.1007/s00421-020-04398-2Test

المؤلفون: Reichl, Franz-Xaver

المصدر: Die Junge Zahnmedizin; Sep2023, Vol. 14 Issue 5, p46-49, 4p

المؤلفون: Reichl, Franz-Xaver, Slivovsky, Friedrich, Szeider, Stefan

المصدر: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 37 No. 4: AAAI-23 Technical Tracks 4; 4087-4094 ; 2374-3468 ; 2159-5399

مصطلحات موضوعية: CSO: Satisfiability, APP: Design

وصف الملف: application/pdf

العلاقة: https://ojs.aaai.org/index.php/AAAI/article/view/25524/25296Test; https://ojs.aaai.org/index.php/AAAI/article/view/25524Test

الإتاحة: https://doi.org/10.1609/aaai.v37i4.25524Test
https://ojs.aaai.org/index.php/AAAI/article/view/25524Test

المؤلفون: Wuersching, Sabina Noreen, Högg, Christof, Kohl, Lisa, Reichl, Franz-Xaver, Hickel, Reinhard, Kollmuss, Maximilian

المصدر: Dental Materials ; volume 39, issue 3, page 293-304 ; ISSN 0109-5641

الإتاحة: https://doi.org/10.1016/j.dental.2023.01.008Test
https://api.elsevier.com/content/article/PII:S0109564123000398?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0109564123000398?httpAccept=text/plainTest

المؤلفون: Lahme, Albrecht, Reichl, Franz-Xaver

المصدر: Medical Problems of Performing Artists, 2014 Dec 01. 29(4), 241-242.

الوصول الحر: https://www.jstor.org/stable/48710445Test