Journal of automated reasoning

Date :

Editeur / Publisher : Dordrecht : Kluwer , 2002-

Type : Périodique / Serial

Langue / Language : anglais / English

Mathématiques

Intelligence artificielle

Relation : Journal of automated reasoning / Dordrecht [etc.] : D. Reidel , 1985-