Bulletin de Liaison - ESOP - AVAS
... exercice de mathématiques formelles, entrepris à Dahlgren en 1971, sur machine IBM 360. On ne dispose que de rèférences de catalogue, avec CACM 12 /. 76 p ...
... exercice de mathématiques formelles, entrepris à Dahlgren en 1971, sur machine IBM 360. On ne dispose que de rèférences de catalogue, avec CACM 12 /. 76 p ...