Risultati della ricerca - "Logic, Symbolic and mathematical Congresses."
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
- 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
Pubblicazione 2010Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
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 2012Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
3
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Pubblicazione 2013Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
4
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Pubblicazione 2010Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
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 2012Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
6
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Pubblicazione 2013Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
7
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Pubblicazione 2006Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
8
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Pubblicazione 2006Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
9
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Pubblicazione 2009Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
10
New perspectives on games and interaction
Pubblicazione 2008Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
11
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Pubblicazione 2007Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
12
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Pubblicazione 1998Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
13
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Pubblicazione 2011Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
14
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Pubblicazione 1998Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
15
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Pubblicazione 2011Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
16
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Pubblicazione 2009Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
17
New perspectives on games and interaction
Pubblicazione 2008Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
18
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Pubblicazione 2007Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico Atti del Convegno eBook -
19
Recent progress in the Boolean domain /
Pubblicazione 2014Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook -
20
Recent progress in the Boolean domain /
Pubblicazione 2014Soggetti: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Elettronico eBook