Opis

• Title:
  Equalities in Mizar
• Creator:
  Korniłowicz, Artur
• Description:
  Bibliogr. s. 68-69.;
  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:
  Dowód matematyczny DBN;
  Matematyka - komputeryzacja DBN;
  Mizar (system dowodzenia twierdzeń) DBN
• Identifier:
  991033331649705066;
  b0000003319350
• Data provider:
  Polona
• Can I use it?:
  tak
• Type:
  pozostałe