8000 GitHub - kieuconghau/pl-resolution: HCMUS - Artificial Intelligence - Lab 2: Popositional Logic - Resolution

More Web Proxy on the site http://driver.im/

kieuconghau / pl-resolution Public

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

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

2 stars 2 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%

0