Home > Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings
Book Informaton
Access Options
Citation Options
Download CitationShowing 1 to 20 of 26 entries
Chapters/Headings | Author(s) | Pages | Info |
1-16 | |||
17-32 | |||
33-49 | |||
50-65 | |||
66-81 | |||
82-97 | |||
98-113 | |||
114-129 | |||
130-145 | |||
146-161 | |||
162-178 | |||
179-194 | |||
195-206 | |||
207-218 | |||
219-234 | |||
235-247 | |||
248-263 | |||
264-277 | |||
278-293 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 26 entries
Topics
Mathematical Logic and Formal Languages Computational complexity Discrete Mathematics in Computer Science Software engineering Algebra Symbolic and Algebraic Manipulation Logic design Logics and Meanings of Programs Computer science Data processing Artificial intelligence Artificial Intelligence (incl. Robotics) Congresses Mathematics Computer science mathematics