Computational Logic Laboratory

0.0 (0) · Active
Website 0 views Added Jul 2026

Chat

Reviews (0)

Is this your business?

Log in to claim this business

About

Interests include logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks. People, events, projects and software.

Details

CIN
Registration Number
Listed on Stock Exchange
Company Status
Registrar of Companies (RoC)
Company Category
Company Sub-category
Class of Company
Date of Incorporation
Age of Company

Opening hours

Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Sunday

Reviews (0)