| NCID | BA0382030X |
| タイトル | Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.) |
| 出版者 | Berlin ; Tokyo : Springer-Verlag , c1988 |
| 形態 | iv, 218 p. ; 25 cm |
| 注記 | Includes bibliographical references |
| シリーズ名 | Lecture notes in computer science ; 306
|
| 分類 | LCC:QA76.6
DC19:005.1 |
| 件名 | LCSH:Functionalprogramming(Computerscience) -- Congresses
LCSH:Logic,Symbolicandmathematical -- Congresses
|
| 著者情報 | Foundations of Logic and Functional Programming Workshop
Boscarol, Mauro, 1947-
Carlucci Aiello, Luigia, 1946-
Levi, Giorgio, 1942-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 3540191291(: gw)
0387191291(: us)
|
| 番号 | LCCN : 88012313 |