Science » Math » Logic and Foundations » Organizations (index): ABC Directory

search for

Category: Science » Math » Logic and Foundations » Organizations

	Organizations	Records 1-4 of 4
		Order by Date Added \| Popularity \| Alphabet

	ASL (Popularity: ) http://www.aslonline.org/ Association for Symbolic Logic.
	International Federation for Computational Logic (IFCoLog) (Popularity: ) http://www.ifcolog.org/ A federation of societies and groups active in computational logic.
	KR, Inc. (Popularity: ) http://www.kr.org/ Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its ...
	CSHPM (Popularity: ) http://www.cshpm.org/ Canadian Society for History and Philosophy of Mathematics.