Object's details: Feasible analysis of algorithms with Mizar
Provider:Polona
Description
- Title:
- Creator:
- Description:
- Object availability:
- Rights:
- Date:
- Language:
- Source:
- Publisher:
- Relation:
- Subject:
- Identifier:
- Data provider:
- Can I use it?:
- Type:
Similar objects
Creator:Bancerek, Grzegorz
Date:2014
Type:other
Creator:Caminati, Marco B.
Date:2014
Type:other
Date:2014
Type:other
Can I use it?:yes
Creator:Grabowski, Adam (matematyk)
Date:2014
Type:other
Date:2014
Type:other
Can I use it?:check license
Creator:Pąk, Karol
Date:2014
Type:other
Creator:Lâlec'kij, Oleksandr Vadimovič (1947- )
Date:2014
Type:other
Creator:Grabowski, Adam (matematyk)
Date:2014
Type:other
