Søgeresultater - "Logic, Symbolic and mathematical Congresses."
Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
- Logic, Symbolic and mathematical 15
- Artificial intelligence 3
- Mathematics 3
- Game theory 2
- Set theory 2
- Algebra, Boolean 1
- Automatic theorem proving 1
- Axiomatic set theory 1
- Computable functions 1
- Computer-assisted instruction 1
- Data processing 1
- Petri nets 1
- Philosophy 1
- Quasi-metric spaces 1
- Robotics 1
- Type theory 1
-
1
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Udgivet 2010Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
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 2012Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
3
Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011
Udgivet 2013Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
4
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Udgivet 2006Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
5
Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology /
Udgivet 2009Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
6
New perspectives on games and interaction
Udgivet 2008Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog -
7
Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Udgivet 2007Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
8
Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Udgivet 1998Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog -
9
Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011 /
Udgivet 2011Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
10
Recent progress in the Boolean domain /
Udgivet 2014Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog -
11
Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /
Udgivet 2002Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
12
Frege importance and legacy /
Udgivet 1996Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog -
13
Symbolic computation and education
Udgivet 2007Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
14
Infinity and truth /
Udgivet 2014Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk Conference Proceeding eBog -
15
Logic, computation, hierarchies /
Udgivet 2014Fag: “...Logic, Symbolic and mathematical Congresses....”
An electronic book accessible through the World Wide Web; click to view
Electronisk eBog