| 000 | 01102nam a2200289Ia 4500 | ||
|---|---|---|---|
| 999 |
_c274114 _d274114 |
||
| 003 | OSt | ||
| 005 | 20240508114543.0 | ||
| 008 | 190418s9999 xx 000 0 und d | ||
| 020 | _a978-3-319-66107-0 | ||
| 022 | _a1611-3349 | ||
| 040 | _cIITB | ||
| 041 | _aeng | ||
| 245 | 0 | _aInteractive theorem proving : 8th international conference proceedings ITP 2017, Brasília, Brazil, September 26–29, 2017 (e-book) | |
| 260 |
_aCham _bSpringer _c2017 |
||
| 440 |
_aLecture Notes in Computer Science ; v.10499 _96767 |
||
| 650 |
_aComputer Science and Engineering _96768 |
||
| 650 | 0 |
_aSoftware Engineering _vCongresses _96351 |
|
| 650 | 0 |
_aAutomatic theorem proving _vCongresses _96786 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _vCongresses _96433 |
|
| 650 | 0 |
_aArtificial intelligence _vCongresses _96239 |
|
| 650 | 0 |
_aComputer logic _vCongresses _96500 |
|
| 650 | 0 |
_aComputer system failures _vCongresses _96776 |
|
| 700 |
_aAyala-Rincon, Mauricio _eEditor _96769 |
||
| 700 |
_aCesar A. Munoz _eEditor _96787 |
||
| 856 |
_uhttp://doi.org/10.1007/978-3-319-66107-0 _yDOI URL |
||
| 942 |
_cEB _2udc |
||