kieuconghau / pl-resolution Public

Notifications You must be signed in to change notification settings
Fork 3
Star 0

HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
DOCUMENT		DOCUMENT
INPUT		INPUT
OUTPUT		OUTPUT
SOURCE		SOURCE
SUBMISSION		SUBMISSION
.gitignore.txt		.gitignore.txt
README.md		README.md

Repository files navigation

pl-resolution

HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution

About

HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution

resolution ai propositional-logic hcmus

Report repository

Languages

Python 100.0%