-
1تقرير
المؤلفون: Lücke, Philipp
مصطلحات موضوعية: Mathematics - Logic, Primary: 03E47, Secondary 03E05, 03E35, 03E45
الوصول الحر: http://arxiv.org/abs/2404.03315Test
-
2تقرير
المؤلفون: Holy, Peter, Lücke, Philipp, Müller, Sandra
مصطلحات موضوعية: Mathematics - Logic
الوصول الحر: http://arxiv.org/abs/2402.15788Test
-
3تقرير
المؤلفون: Fehr, Mathieu, Weber, Michel, Ulmann, Christian, Lopoukhine, Alexandre, Lücke, Martin, Degioanni, Théo, Steuwer, Michel, Grosser, Tobias
مصطلحات موضوعية: Computer Science - Programming Languages
الوصول الحر: http://arxiv.org/abs/2311.07422Test
-
4تقرير
-
5تقرير
المؤلفون: Dimonte, Vincenzo, Iannella, Martina, Lücke, Philipp
مصطلحات موضوعية: Mathematics - Logic
الوصول الحر: http://arxiv.org/abs/2311.00376Test
-
6
-
7تقرير
المصدر: 20 October 2023
مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Human-Computer Interaction
الوصول الحر: http://arxiv.org/abs/2308.00710Test
-
8تقرير
المؤلفون: Qian, Wenyang, Basili, Robert A. M., Eshaghian-Wilner, Mary, Khokhar, Ashfaq, Luecke, Glenn, Vary, James P.
مصطلحات موضوعية: Quantum Physics
الوصول الحر: http://arxiv.org/abs/2307.07243Test
-
9تقرير
مصطلحات موضوعية: Physics - Physics and Society, Mathematics - Dynamical Systems
الوصول الحر: http://arxiv.org/abs/2307.03491Test
-
10تقرير