Fundamenta Informaticae - Tom Vol. 42, Nr 2 (2000) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 42, Nr 2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2000

Identyfikatory

Zawartość wolumenu

Vol. 42, Nr 2
- artykuł: Formalizing context in intuitionistic type theory (Boldini P.), s. 105-127
- artykuł: A method for hierarchical description of images using multiscale analysis (Inkielman M.), s. 129-148
- artykuł: Representation of irrelevance relations by annotated graphs (Paz A., Geva R.Y., Studeny M.), s. 149-199
- artykuł: Succinctness gap between monadic logic and duration calculus (Rabinovich A.), s. 201-210

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