| Live Data Structures in Logic Programs |
- isbn : 978-3-540-47633-7
- pisbn : 978-3-540-56694-6
|
Fulltext
|
| PARLE '91. Parallel Architectures and Languages Europe |
- isbn : 978-3-540-47472-2
- pisbn : 978-3-540-54152-3
|
Fulltext
|
| Object-Based Parallel and Distributed Computation |
- isbn : 978-3-540-68672-9
- pisbn : 978-3-540-61487-6
|
Fulltext
|
| Coordination Languages and Models |
- isbn : 978-3-540-49936-7
- pisbn : 978-3-540-61052-6
|
Fulltext
|
| Higher-Order Algebra, Logic, and Term Rewriting |
- isbn : 978-3-540-48579-7
- pisbn : 978-3-540-58233-5
|
Fulltext
|
| Temporally Distributed Symptoms in Technical Diagnosis |
- isbn : 978-3-540-47553-8
- pisbn : 978-3-540-54316-9
|
Fulltext
|
| A Resolution Principle for a Logic with Restricted Quantifiers |
- isbn : 978-3-540-46670-3
- pisbn : 978-3-540-55034-1
|
Fulltext
|
| Advances in Petri Nets 1989 |
- isbn : 978-3-540-46998-8
- pisbn : 978-3-540-52494-6
|
Fulltext
|
| STACS 92 |
- isbn : 978-3-540-46775-5
- pisbn : 978-3-540-55210-9
|
Fulltext
|
| Combinators and Functional Programming Languages |
- isbn : 978-3-540-47253-7
- pisbn : 978-3-540-17184-3
|
Fulltext
|