TY  - GEN
DO  - 10.1007/978-3-319-24246-0
DO  - doi
T1  - Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings /
AU  - Lutz, Carsten,
AU  - Ranise, Silvio,
VL  - 9322
CN  - QA9.A1
N1  - International conference proceedings.
ID  - 734064
KW  - Logic, Symbolic and mathematical
KW  - Computer science
SN  - 9783319242460
SN  - 3319242466
TI  - Frontiers of combining systems10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24246-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24246-0
ER  -