Contribution à la réalisation d'une spécification formelle pour Prolog / Gilles Richard

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1989

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

ISBN : 2-7261-0597-1