Search
Search Constraints
You searched for: Author/Creator BOUDOU, JOSEPH- BOUDOU, JOSEPH [remove] 2
- 005.115 1
- 03B44 -- 03F55 1
- 511.3 1
- Artificial intelligence -- Computer programs -- Periodicals 1
- Constraint programming (Computer science) -- Periodicals 1
- Logic programming -- Periodicals 1
- Logic, Symbolic and mathematical -- Periodicals 1
- Theory -- Knowledge Representation and Nonmonotonic Reasoning 1
- topologial semantics -- temporal logic -- intuitionistic logic 1