ACM transactions on computational logic / [ed. by Krzysztof R. Apt] ; ACM

Date : 2000-

Editeur / Publisher : New York, NY : Association for Computing Machinery , ©2000-

Type : Périodique / Serial

Langue / Language : anglais / English

Logique mathématique

Logique informatique

Classification Dewey : 004

Apt, Krzysztof R. (1949-....) (Editeur scientifique / editor)

Association for Computing Machinery (États-Unis) (Editeur scientifique / editor)

Relation : ACM transactions on computational logic / New York, NY : Association for Computing Machinery , 2000-