Predicate-calculus-based logics for modeling and solving search problems

Deborah East, Miroslaw Truszczyński

Research output: Contribution to journal › Article › peer-review

19 Scopus citations

Fingerprint

Dive into the research topics of 'Predicate-calculus-based logics for modeling and solving search problems'. Together they form a unique fingerprint.

Computer Science