Zaloga: :: Library Catalog

Shranjeno v:

Bibliografske podrobnosti
Main Authors:	Pratt-Hartmann, Ian, Tendera, Lidia
Format:	Preprint
Izdano:	2020
Teme:	Logic in Computer Science 03D15 F.4.1; F.2.2
Online dostop:	https://arxiv.org/abs/2006.11169
Oznake:	Označite Brez oznak, prvi označite!

Internet

https://arxiv.org/abs/2006.11169