6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Book

Data Base Techniques for Pictorial Application: Florence, June 20-22, 1979 (Lecture Notes in Computer Science, 81)

Book

Formal Aspects of Cognitive Processes: Proceedings, Interdisciplinary Conference, Ann Arbor, March 1972 (Lecture Notes in Computer Science, 22)

Book

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

Book

Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)

Book

Graph-Grammars and Their Application to Computer Science: 2nd International Workshop. Haus Ohrbeck, Germany, October 4 - 8, 1982 (Lecture Notes in Computer Science)

Book

A Calculus of Communicating Systems (Lecture Notes in Computer Science, 92)

Book

Foundations of Computation Theory: Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983 (Lecture Notes in Computer Science, 158)