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

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 166, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2019

Identyfikatory

Zawartość wolumenu

Vol. 166, nr 4
- artykuł: Satisfiability Calculus : An Abstract Formulation of Semantic Proof Systems (Lopez Pombo C. G., Castro P. F., Aguirre N. M., Maibaum T. S. E.), s. 297--347
- artykuł: Combining the Concepts of Residual and Domination in Graphs (Turacı T., Aytaç A.), 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ć.