Date : 199 -
Editeur / Publisher : Londres : Imperial College , 199X-1997
Type : Périodique / Serial
Langue / Language : anglais / English
Logique informatique
Logique mathématique
Relation : Journal of the IGPL / Oxford : Oxford University Press , 1995-1997