1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...Social Choice Theory -- A Complete Conclusion-Based Procedure for Judgment Aggregation -- A...

2
Published 2000
Springer Berlin Heidelberg
Table of Contents: ...-Based Language for Virtual Agents -- Constraint (Logic) Programming: A Survey on Research...

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Constraints in the Theory of the Evaluated Trees -- Extracting Microstructure in Binary Constraint Networks...

5
Published 1995
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

6
Published 2003
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...