Journal of Formalized Reasoning [Ressource électronique]

Date :

Editeur / Publisher : Bologna : Centro Inter Bibliotecario - Università di Bologna , 2007-

Type : Périodique / Serial

Langue / Language : anglais / English

Classification Dewey : 510