관련어 (나무위키 + 위키백과 말뭉치)

• 관계 논리
• 추상
• 데이터베이스 모델
• 수학적 대상
• 추상 기계
• 비매개
• 소박한 집합론
• 양자 논리
• bilinear
• 형식 언어
• 정규 언어
• 모형 이론
• 오토마타 이론
• 술어 논리
• 데이터 모델링
• 브라-켓 표기법
• 추론 규칙
• coclass
• schema
• 분산 메모리
• 형식과학
• 논리형 프로그래밍
• S-표현식
• 형식 문법
• 알고리즘 설계