| Symbolic and Quantitative Approaches to Reasoning with Uncertainty |
- isbn : 978-3-642-02906-6
- pisbn : 978-3-642-02905-9
|
Fulltext
|
| Types for Proofs and Programs |
- pisbn : 978-3-642-02443-6
- isbn : 978-3-642-02444-3
|
Fulltext
|
| Analytical and Stochastic Modeling Techniques and Applications |
- isbn : 978-3-642-02205-0
- pisbn : 978-3-642-02204-3
|
Fulltext
|
|
|
Fulltext
|
| Fuzzy Logic and Applications |
- pisbn : 978-3-642-02281-4
- isbn : 978-3-642-02282-1
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
|
|
Fulltext
|
| Logic, Language, Information and Computation |
- isbn : 978-3-642-02261-6
- pisbn : 978-3-642-02260-9
|
Fulltext
|
| Applied Algebra, Algebraic Algorithms and Error-Correcting Codes |
- pisbn : 978-3-642-02180-0
- isbn : 978-3-642-02181-7
|
Fulltext
|