Opis

• Tytuł:
  On logical and semantic investigations in Kyiv School of Automated Reasoning
• Twórca:
  Lâlec'kij, Oleksandr Vadimovič (1947- )
• Współtwórca:
  Nìkìtčenko, Mikola Stepanovič (1951- )
• Opis:
  Bibliogr. s. 96-98.;
  dokumenty elektroniczne
• Dostępność obiektu:
  Dostęp otwarty
• 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:
  angielski;
  eng
• Źródło:
  Biblioteka Narodowa
• Wydawca:
  2014.
• Relacja:
  Trends in contemporary computer science
• Temat i słowa kluczowe:
  Automatyczne dowodzenie twierdzeń DBN;
  Dowód matematyczny DBN;
  Matematyka - komputeryzacja DBN
• Identyfikator:
  991033334009705066;
  b0000003319409
• Dostawca danych:
  Polona
• Czy mogę z tego obiektu skorzystać?:
  tak
• Rodzaj zawartości:
  pozostałe