scientific article

zbMath0988.68179MaRDI QIDQ2767036

Steffen Hölldobler, Dietrich Kuske

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

This page was built for publication: