Summary goes here

Saved in:
書目詳細資料
格式: 圖書
語言:英语
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
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.