ACM transactions on computational logic
Périodique Ecrit par: Apt, Krzysztof R. (1949-....) ; Association for Computing Machinery (États-Unis) ; Publié en: 2000
Edition:
New York, NY:
Association for Computing Machinery
Langue:
Anglais
Collation:
;26 cm
ISSN: 15293785
Périodicité
trimestrielle
Thème
Informatique
Mots clés:
Logique informatique
:Périodiques
Logique mathématique
:Périodiques
Note: ACM transactions on computational logic (Online), ISSN 1557-945X
ACM transactions on computational logic