| TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 |
- isbn : 978-3-540-47717-4
- pisbn : 978-3-540-17611-4
|
Fulltext
|
| Typed Lambda Calculi and Applications |
- isbn : 978-3-540-49178-1
- pisbn : 978-3-540-59048-4
|
Fulltext
|
| Foundations of Equational Logic Programming |
- isbn : 978-3-540-48226-0
- pisbn : 978-3-540-51533-3
|
Fulltext
|
| Machines, Languages, and Complexity |
- isbn : 978-3-540-48203-1
- pisbn : 978-3-540-51516-6
|
Fulltext
|
| Formal Properties of Finite Automata and Applications |
- isbn : 978-3-540-46721-2
- pisbn : 978-3-540-51631-6
|
Fulltext
|
| ESEC '87 |
- isbn : 978-3-540-48117-1
- pisbn : 978-3-540-18712-7
|
Fulltext
|
| Object-Oriented Methodologies and Systems |
- isbn : 978-3-540-48804-0
- pisbn : 978-3-540-58451-3
|
Fulltext
|
| Coordinating Plans of Autonomous Agents |
- isbn : 978-3-540-47261-2
- pisbn : 978-3-540-55615-2
|
Fulltext
|
| Modelling Spatial Knowledge on a Linguistic Basis |
- isbn : 978-3-540-47051-9
- pisbn : 978-3-540-53718-2
|
Fulltext
|
| Extensions of Logic Programming |
- isbn : 978-3-540-47114-1
- pisbn : 978-3-540-55498-1
|
Fulltext
|