scientific article

zbMath0764.68153MaRDI QIDQ3989940

Donald Perlis, Sarit Kraus, John F. Horty

Publication date: 28 June 1992

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

zbMATH Keywords

circumscriptionautocircumscription

Mathematics Subject Classification ID

Related Items (1)

John McCarthy's legacy

This page was built for publication: