scientific article; zbMATH DE number 1787154

zbMath1021.68070MaRDI QIDQ4548194

Dave Barker-Plummer, Sidney C. Bailin

Publication date: 18 November 2002

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

zbMATH Keywords

automated reasoning system\&/GROVER

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Uses Software

• GROVER