Fundamenta Informaticae - Tom Vol. 68, nr 1/2 (2005) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 68, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2005

Identyfikatory

Zawartość wolumenu

Vol. 68, nr 1/2
- artykuł: Eliminating Introns in Ant Colony Programming (Boryczka M.), s. 1--19
- artykuł: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations (Burrieza A., Ojeda-Aciego M.), s. 21--46
- artykuł: $-Calculus of Bounded Rational Agents : Flexible Optimization as Search under Bounded Resources in Interactive Systems (Eberbach E.), s. 47--102
- artykuł: Event Structures for Arbitrary Disruption (Fecher H., Majster-Cederbaum M.), s. 103--130
- artykuł: The Open Calculus of Constructions (Part I) : An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving (Stehr M-O.), s. 131--174
- artykuł: Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes (Winkowski J.), s. 175--206

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.