Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Vol. 174, nr 3/4

Wydawca
Rocznik
Identyfikatory
Uwagi
Special issue of the 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. RCRA 2018 was held in Oxford, United Kingdom, on the 13th of July 2018 as a Workshop of the Federated Logic Conference 2018 (FLoC 2018). Editors of this special issue: Thomas Eiter, Vienna University of Technology, Austria, eiter@kr.tuwien.ac.at; Marco Maratea, DIBRIS, Università di Genova, Italy, marco@dibris.unige.it; Mauro Vallati, University of Huddersfield, United Kingdom, m.vallati@hud.ac.uk
Zawartość wolumenu

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ć.