No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Choose publication:
Continuum as a primitive type; Continuum jako typ pierwotny - Ambroszkiewicz, StanisławContinuum as a primitive type; Continuum jako typ pierwotny - Ambroszkiewicz, Stanisław
Add to bibliography
Prace IPI PAN 1031. Szreter, Maciej, Bounded Abstract Planning in PlanICS based on Graph DatabasesPrace IPI PAN 1031. Szreter, Maciej, Bounded Abstract Planning in PlanICS based on Graph Databases
Prace IPI PAN 1032. Knapik, Michał, Underapproximating ATL with Imperfect Information and Imperfect RecallPrace IPI PAN 1032. Knapik, Michał, Underapproximating ATL with Imperfect Information and Imperfect Recall
Prace IPI PAN 1033. Winkowski, Józef, Partially Ordered Domains for Representing ActivitiesPrace IPI PAN 1033. Winkowski, Józef, Partially Ordered Domains for Representing Activities