in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6565 LNAI, Páginas: 193-212
Conference
Symposium on Constructive Mathematics in Computer Science, Date: 25 October 2010 through 26 October 2010, Location: Lexington, KY