| Higher Order Logic Theorem Proving and Its Applications |
- isbn : 978-3-540-44784-9
- pisbn : 978-3-540-60275-0
|
Fulltext
|
| Types for Proofs and Programs |
- isbn : 978-3-540-47770-9
- pisbn : 978-3-540-60579-9
|
Fulltext
|
| Term Indexing |
- isbn : 978-3-540-49873-5
- pisbn : 978-3-540-61040-3
|
Fulltext
|
| Principles and Practice of Constraint Programming - CP'96 |
- isbn : 978-3-540-70620-5
- pisbn : 978-3-540-61551-4
|
Fulltext
|
| Logics for Concurrency |
- isbn : 978-3-540-49675-5
- pisbn : 978-3-540-60915-5
|
Fulltext
|
| Information Systems and Data Management |
- isbn : 978-3-540-47799-0
- pisbn : 978-3-540-60584-3
|
Fulltext
|
| Artificial Evolution |
- isbn : 978-3-540-49948-0
- pisbn : 978-3-540-61108-0
|
Fulltext
|
| Spatial Representation and Motion Planning |
- isbn : 978-3-540-48489-9
- pisbn : 978-3-540-60620-8
|
Fulltext
|
| PARLE Parallel Architectures and Languages Europe |
- isbn : 978-3-540-47144-8
- pisbn : 978-3-540-17943-6
|
Fulltext
|
| Computation Theory and Logic |
- isbn : 978-3-540-47795-2
- pisbn : 978-3-540-18170-5
|
Fulltext
|