ACM transactions on computational logic

Date :

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

Type : Périodique / Serial

Langue / Language : anglais / English

Classification Dewey : 004

Relation : ACM transactions on computational logic / [ed. by Krzysztof R. Apt] ; ACM / New York, NY : Association for Computing Machinery , ©2000-