Showing 1 - 1 results of 1 for search '"Andrzej Trybulec"', query time: 0.19s Refine Results
  1. 1
    Mathematical knowledge management : Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings /
    Published 2003
    Table of Contents: “... Anghelache -- On the Integrity of a Repository of Formalized Mathematics / Piotr Rudnicki and Andrzej...”

    Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search