| 000 | 01035nam a2200277Ia 4500 | ||
|---|---|---|---|
| 999 |
_c274102 _d274102 |
||
| 003 | OSt | ||
| 005 | 20230111160821.0 | ||
| 008 | 190418s9999 xx 000 0 und d | ||
| 020 | _a978-3-319-66167-4 | ||
| 022 | _a1611-3349 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | 0 | _aFrontiers of combining systems : 11th international symposium proceedings, FroCoS 2017, BrasÃlia, Brazil, September 27-29, 2017 (e-book) | |
| 260 |
_aCham _bSpringer _c2017 |
||
| 440 |
_aLecture Notes in Computer Science ; v.10483 _96589 |
||
| 650 | 0 |
_aArtificial intelligence _vCongresses _96239 |
|
| 650 |
_aMathematical Logic _xCongresses _96514 |
||
| 650 | 0 |
_aLogics and Meanings of Programs _vCongresses _96591 |
|
| 650 | 0 |
_aSoftware Engineering _vCongresses _96351 |
|
| 650 |
_aAlgorithm Analysis _xCongresses _96493 |
||
| 650 |
_aAlgorithm Analysis _xCongresses _96493 |
||
| 700 |
_aDixon, Clare _eEditor _96592 |
||
| 700 |
_aFinger, Marcelo _eEditor _96593 |
||
| 856 |
_uhttp://doi.org/10.1007/978-3-319-66167-4 _yDOI URL |
||
| 942 |
_cEB _2udc |
||