PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 68, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2005
Identyfikatory
Zawartość wolumenu
Vol. 68, nr 3
artykuł:
An Inverse Halftoning Technique Using Modified Look-Up Tables
(
Chang C.-C.
,
Chan C.-S.
), s. 207-220
artykuł:
On Finite Model Property of the Equational Theory of Kleene Algebras
(
Palka E.
), s. 221-230
artykuł:
Very Simple Chaitin Machines for Concrete AIT
(
Stay M.
), s. 231--247
artykuł:
The Open Calculus of Constructions. Part 2, An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving
(
Stehr M.-O.
), s. 249--288
artykuł:
A Comparative Study of Algebra Viewpoint and Information Viewpoint in Attribute Reduction
(
Wang G.-Y.
,
Zhao J.
,
An J.
,
Wu Y.
), s. 289--301
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ć.