ACM transactions on computational logic. 
 Association for Computing Machinery transactions on computational logic  Computational logic 

 - New York, NY :  Association for Computing Machinery,  2017- 
 - volumes :  illustrations ;  26 cm 
 - Quarterly 
 - .
<br/><br/> Includes bibliographical references. 
<br/><br/>  CCS- Bachelor of Science in Computer Science (BSCS) 
<br/><br/><label>ISSN: </label>1529-3785 
 = ACM transactions on computational logic 
 = ACM trans. comput. log. 
<br/><br/><label>LCCN: </label>00211749  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer logic--Periodicals.<br/>Logic, Symbolic and mathematical--Periodicals.<br/>Computer science--Mathematics--Periodicals.<br/>Computer logic.<br/>Computer science--Mathematics.<br/>Logic, Symbolic and mathematical.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Periodicals.
<br/><br/><label>LC Class. No.: </label>QA76.9.L63  / A3 
<br/><br/><label>Dewey Class. No.: </label>004