Trending

Bookmarks

Keep Up With Latest Trending Papers. Computer Science, AI and Machine Learning and more.Subscribe

Computer Science

Logic in Computer Science

Covers theoretical and experimental aspects of information theory and coding. Includes material in ACM Subject Class E.4 and intersects with H.1.1.

Share

Trending Topics

Language models

Generative model

Functional programming

Logic programming

Recurrent neural networks

Predictive model

Trajectory predictors

Coq proof assistant

Loading

Trending

Bookmarks

◐ Latest Activity

More

Logic in Computer Science - 42Papers

◐ Recommended Follows

Dr Rockson Samuel

Blockchain and security....

Sébastien Vincent

More