LIBRARY Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · DJVU View details →
LIBRARY Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings 2004 · ENGLISH · PDF View details →