切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Foundations of Logic and Functional Programming Workshop :Trento, Italy, December 15-19, 1986 : proceedings /
正題名/作者 ： Foundations of Logic and Functional Programming Workshop :/ M. Boscarol, L. Carlucci Aiello, G. Levi (eds.).
其他題名 ： Trento, Italy, December 15-19, 1986 : proceedings /
其他作者 ： Boscarol, M.
團體作者 ： Foundations of Logic and Functional Programming Workshop
出版者 ： Berlin ;Springer-Verlag,c1988.
面頁冊數 ： iv, 218 p. :ill. ;25 cm.
叢書名 ： Lecture notes in computer science ;
標題 ： Functional programming (Computer science) - Congresses. -
ISBN ： 0387191291 (U.S. : pbk.)
LEADER 00598nam 2200157 a 450
001 79483
008 880412s1988 wb a b 10010 eng
010 $a 88012313
020 $a0387191291 (U.S. : pbk.)
035 $a00013331
050 0 $aQA76.6$b.F6858 1986
082 0 $a005.1$219
090 $a005.1/F825/////511315
111 20$aFoundations of Logic and Functional Programming Workshop$d(1986 :$cTrento, Italy)$3148127
245 10$aFoundations of Logic and Functional Programming Workshop :$bTrento, Italy, December 15-19, 1986 : proceedings /$cM. Boscarol, L. Carlucci Aiello, G. Levi (eds.).
260 0 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1988.
300 $aiv, 218 p. :$bill. ;$c25 cm.
440 0$aLecture notes in computer science ;$v306
650 0$aFunctional programming (Computer science)$xCongresses.$3148131
650 0$aLogic, Symbolic and mathematical$xCongresses.$3143472
700 10$aBoscarol, M.$q(Mauro),$d1947-$3148128
700 20$aCarlucci Aiello, L.$q(Luigia),$d1946-$3148129
700 10$aLevi, G.$q(Giorgio),$d1942-$3148130
Foundations of Logic and Functional Programming Workshop :Trento, Italy, December 15-19, 1986 : proceedings /M. Boscarol, L. Carlucci Aiello, G. Levi (eds.). - Berlin ;Springer-Verlag,c1988. - iv, 218 p. :ill. ;25 cm. - Lecture notes in computer science ;306.
ISBN: 0387191291 (U.S. : pbk.)
LCCN: 88012313Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.6 / .F6858 1986
Dewey Class. No.: 005.1
ISBN: 0387191291 (U.S. : pbk.)
LCCN: 88012313Subjects--Topical Terms:
148131
Functional programming (Computer science)
--Congresses.
LC Class. No.: QA76.6 / .F6858 1986
Dewey Class. No.: 005.1
- 館藏(1)
- 心得(0)
- 標籤
- 相同喜好的讀者(0)
- 相關資料(0)
發表心得