Search Results - "Logic, Symbolic and mathematical Congresses."

Refine Results
  1. 1

    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
  2. 2

    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
  3. 3

    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
  4. 4

    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
  5. 5

    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
  6. 6

    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
  7. 7

    Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /

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

    Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /

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

    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
  10. 10

    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
  11. 11

    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
  12. 12

    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
  13. 13

    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
  14. 14

    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
  15. 15

    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
  16. 16

    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
  17. 17

    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
  18. 18

    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
  19. 19

    Recent progress in the Boolean domain /

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

    Recent progress in the Boolean domain /

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