Fundamenta Informaticae - Tom Vol. 125, nr 2 (2013) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 125, nr 2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2013

Identyfikatory

Zawartość wolumenu

Vol. 125, nr 2
- artykuł: A Resolution Calculus for First-order Schemata (Aravantinos V., Echenim M., Peltier N.), s. 101--133
- artykuł: Decomposition and Approximation of Loopy Bayesian Networks (Dong J., Chen F., Huo Y., Liu H.), s. 135--152
- artykuł: Wide-diameter of Product Graphs (Erveš R., Žerovnik J.), s. 153--160
- artykuł: Algorithms for Relatively Cyclotomic Primes (Grześkowiak M.), s. 161--181
- artykuł: On the Validation of Invariants at Runtime (Kosiuczenko P.), s. 183--222

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