|
|
Details: |
|
|
Association for Symbolic Logic.
|
URL: |
http://www.aslonline.org/
|
Title: |
|
Image: |
|
Description: |
Science, Math, Logic and Foundations, Organizations - ASL. Association for Symbolic Logic. |
Similar: |
|
|
|
Related Sites |
|
CSHPM (Popularity: ): Canadian Society for History and Philosophy of Mathematics.
International Federation for Computational Logic (IFCoLog) (Popularity: ): A federation of societies and groups active in computational logic.
KR, Inc. (Popularity: ): Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its ...
DC Proof Online (Popularity: ): New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules ...
FoLLI (Popularity: ): European Association for Logic, Language and Information. Meetings and publications.
|
|
Popular Sites |
|
KR, Inc. (Popularity: ): Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its ...
International Federation for Computational Logic (IFCoLog) (Popularity: ): A federation of societies and groups active in computational logic.
ASL (Popularity: ): Association for Symbolic Logic.
CSHPM (Popularity: ): Canadian Society for History and Philosophy of Mathematics.
|
|
Related Press |
|
|
Related Articles |
|
|
|