scientific article; zbMATH DE number 7465181
From MaRDI portal
Publication:5024660
zbMath1478.03002MaRDI QIDQ5024660
No author found.
Publication date: 26 January 2022
Full work available at URL: https://dl.acm.org/doi/10.1109/LICS52264.2021.9470509
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
On the ∞$\infty$‐topos semantics of homotopy type theory ⋮ From statistical relational to neurosymbolic artificial intelligence: a survey
This page was built for publication:
