TY - BOOK AU - Blikle,Andrzej ED - International Mathematical Stefan Banach Center ED - Symposium on Mathematical Foundations of Computer Science TI - Mathematical foundations of computer science 1974: 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 SN - 0540071628 AV - QA76.9 M35 M38 1974 PY - 1975/// CY - Berlin PB - Springer KW - Sequential machine theory KW - Congresses KW - Formal languages KW - Programming (Electronic computers) N1 - "Organized by the Computation Center of the Polish Academy of Sciences and sponsored by the International Mathematical Stefan Banach Center in Warsaw" ER -