Skip to main content
Please wait...
Feedback
Please Rate Us
Login
Staff
Switch Language
English
Malaysia
Official Portal
MASTIC
Main navigation
.
Profile
Corporate Information
Introduction
Our History
Frequently Asked Questions
Number Of Online Transactions
Organization
Chart
Directory
Media Center
Calendar
Gallery
Publications
List of Publication
Flipbook
Glossary
Services
Application
KRSTE.my
RADARS
MRDCS
Portal
MOSTI Library
eLibrary
Selected Library Collection
Repository
e-Participation
MASTIC Services Request Form
MASTIC Customer Satisfaction Survey
Exhibition Survey
Evaluation of Program Effectiveness
Statistic
STI Trends
Research and Development (R&D) Indicators
Innovation Indicators
Bibliometric Indicators
Awareness of Science, Technology & Innovation (STI) Indicators
Intellectual Property Statistics
International Ranking
Global Innovation Index : The Malaysia Chapter
World Competitiveness Yearbook (WCY)
STI Inventory
Human Resources in Malaysia in STI (MyHRSTI)
Local Technology Market (TECHMart)
National Scientific Facility Equipment (NFSE)
R&D Project Bank
STI Organization
CITF
Overall vaccination rates are based on Vaccine Center category
Adult vaccination rates by state, region and locality
Details Information of Non-Public Health Vaccination Center
Details Information of Industrial Vaccination Center
STI
STI Survey
National Bibliometric Study
National Survey of Innovation
National Survey of Research and Development
Public Awareness of Science, Technology & Innovation (STI) Malaysia
Science, Technology And Innovation Indicators Report
STI Incentives
Research and Development Grants
Industrial and Commercialisation Funds
Loan and Venture Capital
STI Tax Incentives
HCD Funds
Other
STI Awards
Award List
Award Recipient Directory
STI Policies
Intellectual Property Commercialization Policy
National Biotechnology Policy
National Science and Technology Policy
National Science, Technology and Innovation Policy
STI Incentives
STI Awards
Mathematical Logic and Formal Language
Home
Mathematical Logic and Formal Language
Mathematical Logic and Formal Language
Code
F0701020103
Group
Computation Theory and Mathematics
Category
COMPUTATIONAL MATHEMATICS
Division
FORMAL SCIENCES
Clasification
Field of Research
