- Linear logic in computer science
Details zum Objekt: Linear logic in computer science
PDF
Struktur
Prace Naukowe Instytutu Matematyki i Informatyki=Scientific Research of the Institute of Mathematics and Computer Science.
Beschreibung
- Titel:
- Group title:
- Verfasser: ; ; ;
- Thema und Schlagwörter: ; ;
- Herausgeber:
- Verlagsort:
- Datum:
- Bestandestyp:
- Identifikation des Bestandes: oai:www.sbc.org.pl:295120
- Sprache:
- Bereich:
- Besitzen:
Das Objekt befindet sich in den Sammlungen:
Zusätzliche Informationen
- Erstellungsdatum: 2017-11-13
- Zuletzt geändert am: 2020-02-12
- Anzahl der Ansichten des Inhaltsobjekts: 58
- Sie können auch die Beschreibung des Objekts in diesen Formaten herunterladen: ;
- Historische Texterkennung:
Siehe auch
A categorical model of predicate linear logic
Ersteller:Demeterova, Emilia; Mihalyi Daniel; Novitzka Valerie
Datum:2015
Typ:artykuł
Between syntax and semantics of resource oriented logic for IDSbehavior description
Ersteller:Perhac Jan; Mihalui Daniel; Novitzka Valerie
Datum:2016
Typ:artykuł
Hierarchical structuring for the olive trees irrigation problem in Tunisia
Ersteller:Daoud Ben Amor, Wiem; Moalla Frikha, Hela
Datum:2018
Typ:czasopismo
Beitragende:Trzaskalik, Tadeusz. Chief Editor
A new procedure of criteria weight determination within the aras method
Ersteller:Ghram, Maroua; Moalla Frikha, Hela
Datum:2018
Typ:czasopismo
Beitragende:Trzaskalik, Tadeusz. Chief Editor
Wykorzystanie instrumentów finansowych w procesie zarządzania zasobami mieszkaniowymi jednostek samorządu terytorialnego
Ersteller:Surówka, Marcin; Kuraś, Piotr
Datum:2019
Typ:artykuł
Coalgebras for modelling observable behavior of programs
Ersteller:Steingartner William; Novitzká Valerie
Datum:2017
Typ:artykuł
Współczesne problemy i wyzwania zarządzania zasobami ludzkimi w organizacjach międzynarodowych
Ersteller:Raczek Agnieszka
Datum:2016
Typ:artykuł
Employees' age diversity - between supportive workplaces and organizational outcomes
Ersteller:Waligóra, Łucja
Datum:2024
Typ:monografia
