Fundamenta Informaticae - Tom Vol. 166, nr 4 (2019) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 166, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2019

Identyfikatory

Zawartość wolumenu

Vol. 166, nr 4
- artykuł: Satisfiability Calculus : An Abstract Formulation of Semantic Proof Systems (Lopez Pombo Carlos G., Castro Pablo F., Aguirre Nazareno M., Maibaum Thomas S. E.), s. 297--347
- artykuł: Data Mining with Histograms and Domain Knowledge : Case Studies and Considerations (Rauch Jan, Šimůnek Milan), s. 349--378
- artykuł: Combining the Concepts of Residual and Domination in Graphs (Turacı Tufan, Aytaç Aysun), s. 379--392

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