scientific article; zbMATH DE number 1823801

zbMATH Open1004.68142MaRDI QIDQ3153182FDOQ3153182

Authors: Tatjana Timotijević 

Publication date: 5 November 2002

Title of this publication is not available (Why is that?)

zbMATH Keywords

Prologtheorem proverC-language

Mathematics Subject Classification ID

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3153182)