Federacja Bibliotek Cyfrowych

Homepage
Polona
On the SAT-based verification of communicative commitments

Object's details: On the SAT-based verification of communicative commitments

tile.noImage

Provider:Polona

Description

Tytuł:
On the SAT-based verification of communicative commitments
Twórca:
Woźna-Szcześniak, Bożena
Opis:
Bibliogr. s. 185-186.;
dokumenty elektroniczne
Dostępność obiektu:
free access
Prawa:
Domena Publiczna. Wolno zwielokrotniać, zmieniać i rozpowszechniać oraz wykonywać utwór, nawet w celach komercyjnych, bez konieczności pytania o zgodę. Wykorzystując utwór należy pamiętać o poszanowaniu autorskich praw osobistych Twórcy.
Data:
2014
Język:
English
Źródło:
Biblioteka Narodowa
Wydawca:
2014.
Relacja:
Trends in contemporary computer science
Temat i słowa kluczowe:
Data mining DBN
Identyfikator:
991033611799705066;
b0000003326324
Dostawca danych:
Polona

Czy mogę z tego obiektu skorzystać?:
yes
Rodzaj zawartości:
other

Similar objects

tile.noImage

On the SAT-based verification of communicative commitments

Creator:Woźna-Szcześniak, Bożena

Date:2014

Type:other

tile.noImage

Similarity-based searching in structured spaces of music information

Creator:Rybnik, Mariusz

Date:2014

Type:other

tile.noImage

Action rules mining in laryngological disorders

Creator:Dardzińska, Agnieszka

Date:2014

Type:other

tile.noImage

Wybrane zagadnienia informatyki technicznej : o niektórych rozwiązaniach w dziedzinie eksploracji danych inspirowanych teorią zbiorów przybliżonych

Date:2020

Type:other

Can I use it?:seek permission

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

Creator:Woźna-Szcześniak, Bożena

Date:2018.12.31 | 2018

Type:other

tile.noImage

Recenzja rozprawy doktorskiej mgra inż. Michała Senika pt. Ontology adaptation for the distributed control systems management and integration purposes

Creator:Woźna-Szcześniak, Bożena

Date:2018.12.31 | 2018

Type:other

tile.noImage

On the SMT-based Verification of Communicative Commitments

Creator:Szcześniak, Ireneusz | Woźna-Szcześniak, Bożena

Type:image

Can I use it?:check license

tile.noImage

SAT-based Bounded Model Checking for Timed Interpreted Systems and the RTECTLK properties

Creator:Szczesniak, Ireneusz | Woźna-Szcześniak, Bożena

Type:image

Can I use it?:seek permission

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy