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.

Formal Mathematics for Mathematicians - Foreward to the Special Issue

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Kuperberg. Formal Mathematics for Mathematicians - Foreward to the Special Issue. Journal of Automated Reasoning, 50(2):119-121, 2013. [doi]

Authors

Andrzej Trybulec

This author has not been identified. Look up 'Andrzej Trybulec' in Google

Artur Kornilowicz

This author has not been identified. Look up 'Artur Kornilowicz' in Google

Adam Naumowicz

This author has not been identified. Look up 'Adam Naumowicz' in Google

Krystyna Kuperberg

This author has not been identified. Look up 'Krystyna Kuperberg' in Google
runs on