Showing 1 - 3 results of 3 for search '"Andrzej Trybulec"', query time: 2.31s Refine Results
  1. 1
    Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
    Published 2004

    Conference Proceeding Book
  2. 2
    Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
    Published 2004

    Conference Proceeding Book
  3. 3
    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