| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA990000204640203316 |
|
|
Autore |
International conference on typed lambda calculi and applications : 1993 |
|
|
|
|
Titolo |
|
|
|
|
Typed lambda calculi and applications : International conference on typed lamda calculi and applications : March 16-18, 1993, Utrecht, The Netherlands : proceedings / M. Bezem (ed.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer-Verlag, copyr. 1993 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
VIII, 432 p. : ill. ; 24 cm |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; 664 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910830821603321 |
|
|
Autore |
Edmunds William E. |
|
|
Titolo |
Characteristics of the Mid-Carboniferous Boundary and Associated Coal-Bearing Rocks in the Appalachian Basin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : American Geophysical Union, 1989 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (118 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Field trip guidebook (International Geological Congress (28th : 1989 : Washington, D.C.)) ; ; T352 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Geology - Appalachian Basin |
Geology, Stratigraphic - Carboniferous |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
IGC field trip T352, part 1: characteristics of the Mid-Carboniferous boundary and associated coal-bearing rocks in the Northern Appalachian Basin / William E Edmunds, Jane R Eggleston -- IGC field trip T352, part 1: the Mississippian-Pennsylvanian boundary and associated strata in the Northern Appalachian Basin / William E Edmunds, Jane R Eggleston -- IGC field trip T352B: characteristics of the Mid-Carboniferous boundary and associated coal-bearing rocks in the Central and Southern Appalachian Basin / William E Edmunds, Jane R Eggleston -- The Mississippian-Pennsylvanian boundary and associated coal-bearing rocks in the Central Appalachian Basin / Kenneth J Englund, Roger E Thomas -- Upper Mississippian and Lower Pennsylvanian series in the Southern Appalachian Basin / Thomas J Crawford -- Biostratigraphic significance of compression-impression plant fossils near the Mississippian-Pennsylvanian boundary in the Southern Appalachians / William H Gillespie, Thomas J Crawford, Lawrence J Rheams -- Palynology of selected Pennsylvanian coal beds from the Central and Southern Appalachian Basin: correlation and stratigraphic implications / Cortland F Eble, William H Gillespie -- Origin of coal deposits and associated rocks in the Carboniferous of the Appalachian Basin / C Blaine Cecil, Kenneth J Englund -- Field guide to Mississippian and Lower Pennsylvanian Coal-bearing rocks in the |
|
|
|
|
|
|
|
|
|
|
Appalachian Basin / KJ Englund, WH Gillespie, CB Cecil, TJ Crawford, JF Windolph, BM Blake, N Fedorko. |
|
|
|
|
|
| |