Geometric logic in computer science
علم الحاسوب