oprava existující anotace, přidání nové anotace
|
Název: |
| A Proof Theory for General Unification (Progress in Computer Science and Applied Logic (PCS)) |
Autor: |
| |
Rok vydání: |
| 1991 |
Identifikátory: |
| 9780817635930 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz