Søgeresultater - "Logic, Symbolic and mathematical Congresses."

  • Showing 1 - 15 results of 15
Refine Results
  1. 1

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

    Udgivet 2010
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  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 /

    Udgivet 2012
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  3. 3

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

    Udgivet 2013
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  4. 4

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

    Udgivet 2006
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  5. 5

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

    Udgivet 2009
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  6. 6

    New perspectives on games and interaction

    Udgivet 2008
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk eBog
  7. 7

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

    Udgivet 2007
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  8. 8

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

    Udgivet 1998
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk eBog
  9. 9

    Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /

    Udgivet 2011
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  10. 10

    Recent progress in the Boolean domain /

    Udgivet 2014
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk eBog
  11. 11

    Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /

    Udgivet 2002
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  12. 12

    Frege importance and legacy /

    Udgivet 1996
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk eBog
  13. 13

    Symbolic computation and education

    Udgivet 2007
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  14. 14

    Infinity and truth /

    Udgivet 2014
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk Conference Proceeding eBog
  15. 15

    Logic, computation, hierarchies /

    Udgivet 2014
    Fag: “...Logic, Symbolic and mathematical Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    Electronisk eBog