Showing 1 - 12 results of 12 for search '"Andrzej Trybulec"', query time: 0.99s Refine Results
  1. 1
    Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /
    by Asperti, Andrea
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  2. 2
    Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings /
    Published 2004

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  3. 3
    Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
    Published 2004

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

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

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

    Conference Proceeding Book
  7. 7
    The seventeen provers of the world /
    Published 2006
    Table of Contents: “...Informal / Henk Barendregt -- HOL / John Harrison, Konrad Slind, Rob Arthan -- Mizar / Andrzej...”

    Book
  8. 8
    The seventeen provers of the world /
    Published 2006
    Table of Contents: “...Informal / Henk Barendregt -- HOL / John Harrison, Konrad Slind, Rob Arthan -- Mizar / Andrzej...”

    Book
  9. 9
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
    Published 2001

    Conference Proceeding Book
  10. 10
    Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /
    Published 2001

    Conference Proceeding Book
  11. 11
    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
  12. 12
    Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /
    Published 1994
    Table of Contents: “... Bruijn, Gerard Huet and Andrzej Trybulec -- The TPTP problem library / Geoff Sutcliffe, Christian Suttner...”

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