25,161
edits
Changes
no edit summary
=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database] (pdf)]</ref><ref>[http://www.informatik.uni-trier.de/%7Eley/db/indices/a-tree/p/Pitrat:Jacques.html Jacques Pitrat from List of publications from the DBLP Bibliography Server]</ref>
==1966 ...==
* [[Jacques Pitrat]] ('''1966'''). ''Réalisation de programmes de démonstration de théorèmes utilisant des méthodes heuristiques''. Ph.D. thesis, [[University of Paris]], advisor [[Mathematician#JVille|Jean Ville]]
