Computer programming and formal systems
- 種類:
- 図書
- 責任表示:
- edited by P. Braffort and D. Hirschberg
- 出版情報:
- Amsterdam : North-Holland Publishing, 1963
- 著者名:
- シリーズ名:
- Studies in logic and the foundations of mathematics <BA00099329>
- 注記:
- Some imprints covered by label: New York : Humanities Press
Includes bibliographies 
類似資料:
|
Macmillan |
Prentice-Hall |
|
Springer-Verlag | |
|
Elsevier | |
|
Springer-Verlag |
Cambridge University Press |
|
Springer Berlin Heidelberg : Imprint: Springer |
Addison-Wesley |
|
Springer-Verlag |
Prentice-Hall |
