scientific article; zbMATH DE number 6935456

zbMath1398.68026MaRDI QIDQ4586077

No author found.

Publication date: 11 September 2018

Full work available at URL: https://easychair.org/publications/volume/LPAR-21

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) 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 (1)

Formally verifying the solution to the Boolean Pythagorean triples problem

Uses Software

• Easychair

This page was built for publication: