Risultati della ricerca - "Logic, Symbolic and mathematical Congresses."

  1. 1

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

    Pubblicazione 2010
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno 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 /

    Pubblicazione 2012
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  3. 3

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

    Pubblicazione 2013
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  4. 4

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

    Pubblicazione 2010
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno 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 /

    Pubblicazione 2012
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  6. 6

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

    Pubblicazione 2013
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  7. 7

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

    Pubblicazione 2006
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  8. 8

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

    Pubblicazione 2006
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  9. 9

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

    Pubblicazione 2009
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  10. 10

    New perspectives on games and interaction

    Pubblicazione 2008
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  11. 11

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

    Pubblicazione 2007
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  12. 12

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

    Pubblicazione 1998
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  13. 13

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Pubblicazione 2011
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  14. 14

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

    Pubblicazione 1998
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  15. 15

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Pubblicazione 2011
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  16. 16

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

    Pubblicazione 2009
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  17. 17

    New perspectives on games and interaction

    Pubblicazione 2008
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  18. 18

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

    Pubblicazione 2007
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico Atti del Convegno eBook
  19. 19

    Recent progress in the Boolean domain /

    Pubblicazione 2014
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook
  20. 20

    Recent progress in the Boolean domain /

    Pubblicazione 2014
    Soggetti: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Elettronico eBook