(Q2873798)
بيانات
Wikidata item الإنجليزية
instance of الإنجليزية
title الإنجليزية
Réalisation de programmes de démonstration de théorèmes par des méthodes heuristiques (الفرنسية)
١ مراجع
Imported from Wikidata item الإنجليزية
author الإنجليزية
publication date الإنجليزية