Paleogeographic controls of coal accumulation, Cretaceous Blackhawk Formation and Star Point Sandstone, Wasatch Plateau, Utah
- 期刊名称Geological Society of America Bulletin
- 作者FLORES, ROMEO M.; BLANCHARD, LOUIS F.; SANCHEZ, J. DAVID; MARLEY, WALTER E.; MULDOON, WILLIAM J.
- 卷第95卷
- 期第5期
- 印刷ISSN0016-7606
- 文件大小5570.14KB
- 发表时间1984
- DOI10.1130/0016-7606(1984)95<540:PCOCAC>2.0.CO;2
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Uniqueness type inferenceHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Programming with constructor classesHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Better consumers for deforestationHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || An abstract machine for OzHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Lightweight GUIs for functional programmingHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A verified implementation of narrowingHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Exploiting parallelism in tabled evaluationsHermenegildo, Manuel; Swierstra, S. Doaitse · 1995