結果 : logic in computer science conference
6:39

Symposium on Logic in Computer Science

WikiReader
6 回視聴 - 2 年前
26:44

[POPL'22] Concurrent Incorrectness Separation Logic

ACM SIGPLAN
275 回視聴 - 2 年前
5:26

IEEE Symposium on Logic in Computer Science | Wikipedia audio article

wikipedia tts
8 回視聴 - 5 年前
10:58

CME 2021: A defeasible logic implementation of ethical reasoning

KR conference series
167 回視聴 - 2 年前
2:29:23

Logical Journeys webinar. Hosted by UCL Computer Science (World Logic Day 2021)

UCLComputerScience
549 回視聴 - 3 年前
43:07

Tony Hoare's Keynote at Computing at School Conference 2011

CAS TV
4,976 回視聴 - 13 年前
33:36

Logic in Computer Science, Engineering and Industry

Simons Institute
1,893 回視聴 - 7 年前

-
6:51

Symposium on Logic in Computer Science | Wikipedia audio article

wikipedia tts
9 回視聴 - 5 年前
1:31:46

Session B | Friday morning | TQC 2024

Squid: Schools for Quantum Information Development
168 回視聴 - 3 日前 に配信済み
4:29

Megan Davis Flash Talk: Faulty Internal Logic

VCUEngineering
256 回視聴 - 8 年前

-
1:12:03

And Logic Begat Computer Science: When Giants Roamed the Earth

Eric S.
2,867 回視聴 - 10 年前
1:02:13

Ian Barland: Logic: The Foundation of Computer Science

Logic and Reasoning Institute at James Madison University
711 回視聴 - 10 年前
29:50

6th International Conference on Fuzzy Logic Systems (Fuzzy 2020)

Computer Science & IT Conference Proceedings
110 回視聴 - 3 年前
1:26:49

Logic in Computer Science with a Strong Bias Towards Automata 1

Simons Institute
1,131 回視聴 - 3 年前
1:31

6th International Conference on Artificial Intelligence and Fuzzy Logic Systems (AIFZ 2020)

Computer Science & IT Conference Proceedings
98 回視聴 - 3 年前
55:14

Richard Evans: Inductive logic programming and deep learning II

Federated Logic Conference FLoC 2018
1,478 回視聴 - 6 年前
28:34

Incorrectness logic for graph programs (@ICGT2021)

GReTA Seminar
78 回視聴 - 2 年前
26:04

Verifying graph programs with monadic second-order logic (@ICGT2021)

GReTA Seminar
259 回視聴 - 2 年前
59:34

On the unusual effectiveness of logic in computer science - Univ. Washington,2002

Moshe Vardi
1,010 回視聴 - 1 年前
1:09:57

Stuart Russell: Unifying logic & probability: the BLOG language

Federated Logic Conference FLoC 2018
1,088 回視聴 - 6 年前