Extent: | 126 S. |
---|---|
Type of publication: | Book / Working Paper |
Type of publication (narrower categories): | Konferenzschrift |
Language: | English |
Notes: | Enth. u.a.: Set constraints and logic programming / Dexter Kozen. Repeated redundant inequalities in constraint logic programming / Spiro Michaylov |
Classification: | Theoretische Informatik ; Mathematische Logik, Mengenlehre |
Source: |
Persistent link: https://www.econbiz.de/10004902061