Showing 1 - 20 results of 30 for search '"Mathematics"', query time: 0.03s Refine Results
  1. 1
  2. 2
  3. 3

    Symbolic computation and education

    Published 2007
    Subjects: “…Mathematics Computer-assisted instruction Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  4. 4

    Infinity and truth /

    Published 2014
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  5. 5

    Infinity and truth /

    Published 2014
    Subjects:
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  6. 6

    Symbolic computation and education

    Published 2007
    Subjects: “…Mathematics Computer-assisted instruction Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  7. 7

    Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

    Published 2010
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  8. 8

    Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /

    Published 2012
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  9. 9

    Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

    Published 2013
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  10. 10

    Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

    Published 2010
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  11. 11

    Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /

    Published 2012
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  12. 12

    Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

    Published 2013
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  13. 13

    Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /

    Published 2009
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  14. 14

    New perspectives on games and interaction

    Published 2008
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  15. 15

    Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /

    Published 2007
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  16. 16

    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Published 1998
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  17. 17

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Published 2011
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  18. 18

    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Published 1998
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
  19. 19

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Published 2011
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
  20. 20

    Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /

    Published 2009
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook