Opis

• Tytuł:
  On the SAT-based verification of communicative commitments
• Twórca:
  Woźna-Szcześniak, Bożena
• Description:
  Bibliogr. s. 185-186.;
  dokumenty elektroniczne
• Object availability:
  Dostęp otwarty
• Rights:
  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.
• Date:
  2014
• Language:
  angielski
• Source:
  Biblioteka Narodowa
• Publisher:
  2014.
• Relation:
  Trends in contemporary computer science
• Subject:
  Data mining DBN
• Identifier:
  991033611799705066;
  b0000003326324
• Data provider:
  Polona
• Can I use it?:
  tak
• Type:
  pozostałe