所蔵情報QRコード
Computer programming and formal systems / edited by P. Braffort and D. Hirschberg
- 資料種別:
- 図書
- 出版情報:
- Amsterdam ; London : North-Holland Pub. Co., 1970
- 形態:
- vi, 161 p. ; 23 cm
- シリーズ名:
- Studies in logic and the foundations of mathematics <BA00099329>
- 著者名:
- 書誌ID:
- BA0232268X
類似資料:
North-Holland Pub. Co. |
Springer-Verlag |
Prentice-Hall |
Elsevier |
Macmillan |
Russell Sage Foundation |
McGraw-Hill |
Springer eBooks Computer Science, Springer Berlin Heidelberg |
Ellis Horwood, Halsted Press |
Springer eBooks Computer Science, Springer Berlin Heidelberg |