ACM transactions on computational logic.
Association for Computing Machinery.
New York, NY : Association for Computing Machinery.
Refereed/Peer-reviewed
Mode of access: World Wide Web.
Description based on web page information screen (viewed May 8, 2001).
Computer logic
Logic, Symbolic and mathematical
Computer science
Logique informatique
Logique symbolique et mathématique
Informatique
Computer logic.
Computer science
Logic, Symbolic and mathematical.
Informatica.
Logica.