External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Developing Field Theory in Mizar

Christoph Schwarzweller. Developing Field Theory in Mizar. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023. Volume 35 of Annals of Computer Science and Information Systems, pages 303-308, 2023. [doi]

Authors

Christoph Schwarzweller

This author has not been identified. Look up 'Christoph Schwarzweller' in Google
runs on