Kết quả tìm kiếm - "Logic, Symbolic and mathematical Congresses."
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
- 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
Được phát hành 2010Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành 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 /
Được phát hành 2012Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
3
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Được phát hành 2013Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
4
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Được phát hành 2010Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành 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 /
Được phát hành 2012Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
6
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Được phát hành 2013Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
7
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Được phát hành 2006Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
8
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Được phát hành 2006Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
9
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Được phát hành 2009Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
10
New perspectives on games and interaction
Được phát hành 2008Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
11
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Được phát hành 2007Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
12
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Được phát hành 1998Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
13
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Được phát hành 2011Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
14
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Được phát hành 1998Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
15
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Được phát hành 2011Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
16
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Được phát hành 2009Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
17
New perspectives on games and interaction
Được phát hành 2008Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
18
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Được phát hành 2007Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử Hội nghị đang tiến hành eBook -
19
Recent progress in the Boolean domain /
Được phát hành 2014Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook -
20
Recent progress in the Boolean domain /
Được phát hành 2014Những chủ đề: “…Logic, Symbolic and mathematical Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Điện tử eBook