scientific article; zbMATH DE number 1231697

zbMath0917.68194MaRDI QIDQ4223028

Michael Franssen

Publication date: 10 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17004

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

zbMATH Keywords

pure type systemstableaux-based automatic proof construction

Mathematics Subject Classification ID

Uses Software

• Automath

This page was built for publication: