Home Submit URL Add to Favorite Contact
           04 May, 2024
 
    
Category Suggestion Form :: Science » Math » Logic and Foundations » Organizations
Root Category ID 69728
Suggested Sub Category *
If approved, category will be created under
Science » Math » Logic and Foundations » Organizations » NEW-CAT
Comments to Editor
Spam Protection * What is the fifth word in the phrase "zykefu hip nazagaqu netiqe jixyk hozysel fyha mepewano dyciha ruret"?

This question is for testing whether you are a human visitor and to prevent automated spam submissions

    
Category List - Main » Science » Math » Logic and Foundations
Computability
Computational Logic
Directories
Education
Foundations
Game Semantics
History
Institutions
Knowledge Representation and Planning
Meetings
Model Theory
Nonstandard Logics and Extensions
Organizations
People
Proof Theory
Publications
Set Theory
Software


New Sites - Main » Science » Math » Logic and Foundations » Organizations
CSHPM (27th April, 2005) : Canadian Society for History and Philosophy of Mathematics.
KR, Inc. (27th April, 2005) : Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferences ...
International Federation for Computational Logic (IFCoLog) (27th April, 2005) : A federation of societies and groups active in computational logic.
ASL (27th April, 2005) : Association for Symbolic Logic.


Top Sites - Main » Science » Math » Logic and Foundations » Organizations
KR, Inc. () : Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferences
International Federation for Computational Logic (IFCoLog) () : A federation of societies and groups active in computational logic.
ASL () : Association for Symbolic Logic.
CSHPM () : Canadian Society for History and Philosophy of Mathematics.