Search results
From MaRDI portal
- (Why is that?) On modelling with words Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach Substitution inconsistencies in...15 bytes (554 words) - 19:10, 30 January 2024
- solve constraint satisfaction problems Solution Counting Algorithms for Constraint-Centered Search Heuristics Value ordering for quantified CSPs Identifying...15 bytes (381 words) - 00:07, 5 February 2024
- and the Problem of Existential Import Title not available (Why is that?) Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach...15 bytes (318 words) - 21:53, 3 February 2024
- logic and foundations (03A05) Cited In (6) Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach Title not available (Why is that...15 bytes (113 words) - 21:50, 3 February 2024
- PROGRAM Predication and extensionalization Algorithmic theories of problems. A constructive and a non-constructive approach Anatomy of a proposition If structured...15 bytes (475 words) - 14:09, 31 January 2024
