Probabilistic logic in computer science

2021 ◽  
Author(s):  
I. I. Lonsky ◽  
S. V. Bulgakov ◽  
V. Ya. Tsvetkov
Keyword(s):  
Computer Science ◽  
Probabilistic Logic ◽  
Logic In Computer Science

scholarly journals Proceedings of the CLICS Workshop: Part I og II

1992 ◽  
Vol 21 (397) ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Computer Science ◽  
Basic Research ◽  
Science Department ◽  
Computer Science Department ◽  
Categorical Logic ◽  
Research Action ◽  
Logic In Computer Science

This is a collection of papers, notes and copies of transparencies representing the talks of the CLICS Workshop at the Computer Science Department, Aarhus University, 23 - 27 March 1992. CLICS is an Esprit, Basic Research Action on Categorical Logic in Computer Science.

Sign in / Sign up

Export Citation Format

Share Document