Resultados da busca - "Logic, Symbolic and mathematical Congresses."
Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
- Logic, Symbolic and mathematical 30
- Artificial intelligence 6
- Mathematics 6
- Game theory 4
- Set theory 4
- Algebra, Boolean 2
- Automatic theorem proving 2
- Axiomatic set theory 2
- Computable functions 2
- Computer-assisted instruction 2
- Data processing 2
- Petri nets 2
- Philosophy 2
- Quasi-metric spaces 2
- Robotics 2
- Type theory 2
-
1
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Publicado em 2010Assuntos: “…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
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 2012Assuntos: “…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
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Publicado em 2013Assuntos: “…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
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Publicado em 2010Assuntos: “…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
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 2012Assuntos: “…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
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Publicado em 2013Assuntos: “…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
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado em 2006Assuntos: “…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
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado em 2006Assuntos: “…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
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Publicado em 2009Assuntos: “…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
New perspectives on games and interaction
Publicado em 2008Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico -
11
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Publicado em 2007Assuntos: “…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
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Publicado em 1998Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico -
13
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Publicado em 2011Assuntos: “…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
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Publicado em 1998Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico -
15
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Publicado em 2011Assuntos: “…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
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Publicado em 2009Assuntos: “…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
New perspectives on games and interaction
Publicado em 2008Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico -
18
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Publicado em 2007Assuntos: “…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
Recent progress in the Boolean domain /
Publicado em 2014Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico -
20
Recent progress in the Boolean domain /
Publicado em 2014Assuntos: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Recurso Eletrônico livro eletrônico