M2 Parisian Computer Sciences Research Master
… in theoretical computer science based on numerous courses and working groups with several formats. The students must … theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages … theory, (5) combinatorics and effective algebra, (6) logic, automatic and interactive proofs, (7) programming langages …Published on: