oprava existující anotace, přidání nové anotace
|
Název: |
| Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers |
Autor: |
| |
Rok vydání: |
| c1998 |
Identifikátory: |
| 9783540651376 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz