Using the Internal Logic of a Topos to Model Search Spaces for Problems (Q5436987)
From MaRDI portal
scientific article; zbMATH DE number 5227978
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using the Internal Logic of a Topos to Model Search Spaces for Problems |
scientific article; zbMATH DE number 5227978 |
Statements
Using the Internal Logic of a Topos to Model Search Spaces for Problems (English)
0 references
18 January 2008
0 references
topos theory
0 references
internal logic
0 references
local set theory
0 references
search
0 references
heuristics
0 references
metaheuristics
0 references
