Resultados da busca - "Logic, Symbolic and mathematical Congresses."

Refinar Resultados
  1. 1

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

    Publicado em 2010
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  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 /

    Publicado em 2012
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  3. 3

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

    Publicado em 2013
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  4. 4

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

    Publicado em 2010
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  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 /

    Publicado em 2012
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  6. 6

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

    Publicado em 2013
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  7. 7

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

    Publicado em 2006
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  8. 8

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

    Publicado em 2006
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  9. 9

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

    Publicado em 2009
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  10. 10

    New perspectives on games and interaction

    Publicado em 2008
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  11. 11

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

    Publicado em 2007
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  12. 12

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

    Publicado em 1998
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  13. 13

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Publicado em 2011
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  14. 14

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

    Publicado em 1998
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  15. 15

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Publicado em 2011
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  16. 16

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

    Publicado em 2009
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  17. 17

    New perspectives on games and interaction

    Publicado em 2008
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  18. 18

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

    Publicado em 2007
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  19. 19

    Recent progress in the Boolean domain /

    Publicado em 2014
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  20. 20

    Recent progress in the Boolean domain /

    Publicado em 2014
    Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico