Date : 1985-
Editeur / Publisher : Dordrecht [etc.] : D. Reidel , 1985-
Type : Périodique / Serial
Langue / Language : anglais / English
Intelligence artificielle
Relation : Journal of automated reasoning / Dordrecht : Kluwer , 2002-