scientific article; zbMATH DE number 2090306

zbMath1072.68590MaRDI QIDQ4809065

Stephan Schulz, Geoff Sutcliffe

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920280.htm

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

Mathematics Subject Classification ID

Related Items

The disconnection tableau calculus

Uses Software

• TPTP
• GrAnDe
• DCTP