scientific article; zbMATH DE number 2000436

zbMath1023.03540MaRDI QIDQ4433983

Yukiyoshi Kameyama, Takeuti Izumi, Masahiko Sato

Publication date: 3 November 2003

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem books, competitions, examinations (aspects of mathematics education) (97U40)

Uses Software

• CAL

This page was built for publication: