Dealing with what is possible to compute and in what bounds. Covering simple linear problems up to NP-Hard problems.
Most entries in this category are transferred from the category Conferences above it. Submissions should contain some ''added value'' such as papers, abstracts, photographs, etc.Meetings, conferences and symposia related to mathematical logic.
Include sites that cover the topic of Fuzzy Logic. This is sometimes compared to using percentages, but is a bit different.Application of this type of logic is used for artificial intelligence and smart appliances.There is currently no description created for this category.
Format for listings in this category should be:Websites of active academic logicians.
Title: Last Name, First Name
Description: Institutional Affiliation - research interests.
This category is for web sites which contain material complementing printed books, for example with software, tables or errata. Online texts are also welcome. Please do not submit pages which merely announce or advertise books. Please submit publishers'' sites to Science/Math/Publications/Book_Publishers.There is currently no description created for this category.
Please submit your site to the most appropriate category. Submitting to an incorrect category may delay review of your site.Most research activities will either occur in academic departments or in research institutes (which may either be in universities or external). Both of these are included in this category.
Please submit only websites that have English language content to this category. If your site is in a language other than English, please submit it to the appropriate category of World.
All submissions are welcome.Logic-related software: Software implement "logic(s)" explicitly. This category includes e.g. automated reasoning systems, theorem provers, self-study software, and their "add-in"s. Both non-commercial and commercial software will be listed.