| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 1d94ab9b-76cd-42d9-bf9b-9db1f878941c |
| isbn | 3-319-57418-3 |
| issn | |
| language | eng |
| physical | 1 online resource (XIV, 323 p. 24 illus.) |
| publication | – publisher: Springer International Publishing dateOfPublication: 2017 |
| publishDate | 2017 |
| subjects | |
| title | Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / edited by Peter Höfner, Damien Pous, Georg Struth. |
| topic | Machine theory. Computer science—Mathematics. Computer science. Software engineering. Artificial intelligence. Discrete mathematics. Formal Languages and Automata Theory. Symbolic and Algebraic Manipulation. Computer Science Logic and Foundations of Programming. Software Engineering. Artificial Intelligence. Discrete Mathematics in Computer Science. |