- Linear logic in computer science
Szczegóły obiektu: Linear logic in computer science
Struktura
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Opis
- Tytuł:
- Tytuł publikacji grupowej:
- Autor: ; ; ;
- Temat i słowa kluczowe: ; ;
- Wydawca:
- Miejsce wydania:
- Data wydania:
- Typ zasobu:
- Identyfikator zasobu: oai:reader.digitarium.pcss.pl:295120
- Język:
- Zakres:
- Lokalizacja oryginału:
Obiekt znajduje się w kolekcjach:
Zobacz także
A categorical model of predicate linear logic
Twórca:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Data:2015
Typ:artykuł
Between syntax and semantics of resource oriented logic for IDSbehavior description
Twórca:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Data:2016
Typ:artykuł
Hierarchical structuring for the olive trees irrigation problem in Tunisia
Twórca:Daoud Ben Amor, Wiem; Moalla Frikha, Hela
Data:2018
Typ:czasopismo
Współtwórca:Trzaskalik, Tadeusz. Chief Editor
A new procedure of criteria weight determination within the aras method
Twórca:Ghram, Maroua; Moalla Frikha, Hela
Data:2018
Typ:czasopismo
Współtwórca:Trzaskalik, Tadeusz. Chief Editor
Wykorzystanie instrumentów finansowych w procesie zarządzania zasobami mieszkaniowymi jednostek samorządu terytorialnego
Twórca:Surówka, Marcin; Kuraś, Piotr
Data:2019
Typ:artykuł
Coalgebras for modelling observable behavior of programs
Twórca:Steingartner William; Novitzká Valerie
Data:2017
Typ:artykuł
Współczesne problemy i wyzwania zarządzania zasobami ludzkimi w organizacjach międzynarodowych
Twórca:Raczek Agnieszka
Data:2016
Typ:artykuł
Specyfika zarządzania personelem w przedsiębiorstwach rodzinnych
Twórca:Kamińska, Barbara
Data:2013
Typ:artykuł
Współtwórca:Smolarek, Małgorzata. Red.
