TY  - GEN
DO  - 10.1007/978-3-030-29007-8
DO  - doi
T1  - Frontiers of combining systems :12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
AU  - Herzig, Andreas,
AU  - Popescu, Andrei,
VL  - 11715
CN  - QA9.A1
ID  - 913667
KW  - Logic, Symbolic and mathematical
KW  - Computer science
SN  - 9783030290078
SN  - 3030290077
TI  - Frontiers of combining systems :12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29007-8
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-29007-8
ER  -