|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
Cham : Springer International Publishing AG, 2022
|
|
|
1 online resource (756 pages)
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9783031107696 (electronic bk.)
|
|
|
ISBN 9783031107689
|
|
|
Lecture Notes in Computer Science Ser. ; v.13385
|
|
|
Print version: Blanchette, Jasmin Automated Reasoning Cham : Springer International Publishing AG,c2022 ISBN 9783031107689
|
|
|
|
|
|
|
|
|
|
|
|
001897945
|
|
|
express
|
|
|
(Au-PeEL)EBL7055695
|
|
|
(MiAaPQ)EBC7055695
|
|
|
(OCoLC)1338199767
|
Dotazy a připomínky