Methods of Logic in Computer Science

• Volume 1: 1994

Last update Sat May 25 16:36:09 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page