A New Look at an Old Lady by Mirna Džamonja (University of East Anglia, UK)

แชร์
ฝัง
  • เผยแพร่เมื่อ 6 ก.ย. 2024

ความคิดเห็น •

ต่อไป
เล่นอัตโนมัติ
​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)1:03:37​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)
​Proof Theory of Homotopy Type Theories by Ulrik Buchholtz (Carnegie Mellon University, USA)FOMUS 2016
มุมมอง 1K
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber1:00:51Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
Modern Physics Formalized in Modal Homotopy Type Theory by Urs SchreiberFOMUS 2016
มุมมอง 4.7K
​Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)54:01​Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)
​Formalising a FOL Set Theory in Isabelle in a Textbook Fashion by I. Dimitriou (University of Bonn)FOMUS 2016
มุมมอง 1K
นายรำคอสเพลย์บังเกิด อ้างเป็นพ่อปู่ "องค์ดำ แสนสิริ" สังคมถามจะเอาฮาไปไหน l EP.1751 l 4 ก.ย.671:41:26นายรำคอสเพลย์บังเกิด อ้างเป็นพ่อปู่ "องค์ดำ แสนสิริ" สังคมถามจะเอาฮาไปไหน l EP.1751 l 4 ก.ย.67
นายรำคอสเพลย์บังเกิด อ้างเป็นพ่อปู่ "องค์ดำ แสนสิริ" สังคมถามจะเอาฮาไปไหน l EP.1751 l 4 ก.ย.67โหนกระแส [Hone-Krasae] official
มุมมอง 2.1M
มองพี่ไมจ้ะ #motoplaza #ตลก #แกล้ง00:14มองพี่ไมจ้ะ #motoplaza #ตลก #แกล้ง
มองพี่ไมจ้ะ #motoplaza #ตลก #แกล้งMotoplaza
มุมมอง 2.1M
Wait for end 😂 | Best family game 😜 #shorts00:40Wait for end 😂 | Best family game 😜 #shorts
Wait for end 😂 | Best family game 😜 #shortsashok soni vlogs
มุมมอง 67M
แข่งสร้างห้องลับในพูลวิลล่า งบ 3,000 บาท ใครเนียนสุดชนะ !!35:14แข่งสร้างห้องลับในพูลวิลล่า งบ 3,000 บาท ใครเนียนสุดชนะ !!
แข่งสร้างห้องลับในพูลวิลล่า งบ 3,000 บาท ใครเนียนสุดชนะ !!Ananped
มุมมอง 442K
Borel Determinacy and Infinite Graphs by Nathan Bowler (Universität Hamburg, Germany)57:35Borel Determinacy and Infinite Graphs by Nathan Bowler (Universität Hamburg, Germany)
Borel Determinacy and Infinite Graphs by Nathan Bowler (Universität Hamburg, Germany)FOMUS 2016
มุมมอง 569
On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)51:07On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)
On Proofs of Equality as Paths by Andrew Pitts (University of Cambridge, UK)FOMUS 2016
มุมมอง 806
Multiversism and Naturalism by Claudio Ternullo (University of Vienna, Austria)1:40:11Multiversism and Naturalism by Claudio Ternullo (University of Vienna, Austria)
Multiversism and Naturalism by Claudio Ternullo (University of Vienna, Austria)FOMUS 2016
มุมมอง 375
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)​1:03:12Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)​
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)​FOMUS 2016
มุมมอง 1.8K
"Elements of Mathematics" in the Digital Age by Marc Bezem (Universitetet i Bergen, Norway)1:23:18"Elements of Mathematics" in the Digital Age by Marc Bezem (Universitetet i Bergen, Norway)
"Elements of Mathematics" in the Digital Age by Marc Bezem (Universitetet i Bergen, Norway)FOMUS 2016
มุมมอง 1.9K
Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)1:35:15Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)
Structuring Mathematics in Higher-Order Logic by Clemens Ballarin (aicas GmbH Karlsruhe, Germany)FOMUS 2016
มุมมอง 2.9K
Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)1:02:58Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)
Proving Theorems from Reflection by Philip Welch (University of Bristol, UK)FOMUS 2016
มุมมอง 1.1K
Isomorphic Types are Equal!? by Thomas Streicher (Technische Universität Darmstadt, Germany)1:35:31Isomorphic Types are Equal!? by Thomas Streicher (Technische Universität Darmstadt, Germany)
Isomorphic Types are Equal!? by Thomas Streicher (Technische Universität Darmstadt, Germany)FOMUS 2016
มุมมอง 4.5K
​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)1:22:06​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
​Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)FOMUS 2016
มุมมอง 1.4K
ONE 168 Full Fight | 7 ก.ย. 2567 | Ch7HD4:59:03ONE 168 Full Fight | 7 ก.ย. 2567 | Ch7HD
ONE 168 Full Fight | 7 ก.ย. 2567 | Ch7HDterodigital
มุมมอง 1.3M
ร้านประจำดีเจภูมิ @DJPoom29:51ร้านประจำดีเจภูมิ @DJPoom
ร้านประจำดีเจภูมิ @DJPoomtigercrychannel
มุมมอง 360K
[TH] 2024 PMSL SEA Finals D1 | Fall | ยิงต้องโหด ให้เหมือนโกรธกันมาก่อน7:17:01[TH] 2024 PMSL SEA Finals D1 | Fall | ยิงต้องโหด ให้เหมือนโกรธกันมาก่อน
[TH] 2024 PMSL SEA Finals D1 | Fall | ยิงต้องโหด ให้เหมือนโกรธกันมาก่อนPUBG MOBILE Thailand
มุมมอง 162K
เลียม แฮร์ริสัน vs เสกสรร อ.ขวัญเมือง | ONE 168 | 7 ก.ย.67 | CH7HD20:14เลียม แฮร์ริสัน vs เสกสรร อ.ขวัญเมือง | ONE 168 | 7 ก.ย.67 | CH7HD
เลียม แฮร์ริสัน vs เสกสรร อ.ขวัญเมือง | ONE 168 | 7 ก.ย.67 | CH7HDterodigital
มุมมอง 259K
แม่แจ๊คแฟนฉัน | รสวิวาห์ EP.2826:23แม่แจ๊คแฟนฉัน | รสวิวาห์ EP.28
แม่แจ๊คแฟนฉัน | รสวิวาห์ EP.28แจ๊ส สปุ๊กนิค ปาปิยอง กุ๊กกุ๊ก
มุมมอง 176K
【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีน1:04:12【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีน
【พากย์ไทย】ผู้หญิงลืมผู้ชายที่เธอรักอย่างสุดซึ้ง#EmbraceintheDarkNight #我们在黑夜中相拥 #ซีรีส์จีนคุณน้าบ้าซีรีส์-Sweet Drama
มุมมอง 96K
ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )29:54ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )
ใครคือฆาตกรตัวจริง?! EP.8 (ver สวนสนุก HarborLand !!! )Sunflowava
มุมมอง 293K
Starman🫡00:18Starman🫡
Starman🫡Kan Andrey
มุมมอง 6M