scientific article; zbMATH DE number 7668114
From MaRDI portal
Publication:5884964
Teofil Sidoruk, Unnamed Author, Wojciech Penczek, Damian Kurpiewski, Lukasz Masko, Łukasz Mikulski, Wojciech Jamroga
Publication date: 24 March 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical logic and foundations (03-XX) Agent technology and artificial intelligence (68T42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication:
