Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija / Marina Bagić Babac ; [mentor Marijan kunštić]
By: Bagić Babac, Marina
.
Contributor(s): Kunštić, Marijan [ths]
.
Material type: 
Item type | Current location | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|
![]() |
Središnja knjižnica KF | KF-4259 | 004.414* BAGIĆ ver | 26668 | Available | 0000000777421 | |||
![]() |
Središnja knjižnica | KF-4259 | 004.414* BAGIĆ ver | 26669 | 1 | 0000000777438 | |||
![]() |
Središnja knjižnica | KF-4259 | 004.414* BAGIĆ ver | 26668/cd | 1 | CD | 0000000777414 |
Total holds: 0
There are no comments for this item.