WorldCat Identities

Melham, Tom 1946-

Overview
Works: 25 works in 62 publications in 5 languages and 5,446 library holdings
Genres: Conference papers and proceedings  History  Biography 
Roles: Author, Redactor, Adapter, Editor
Classifications: QH31.M9, 333.720924
Publication Timeline
.
Most widely held works by Tom Melham
John Muir's wild America by Tom Melham( Book )

4 editions published in 1976 in English and held by 1,585 WorldCat member libraries worldwide

The clearest way into the Universe is through a wilderness
Alaska's magnificent parklands by Tom Melham( Book )

5 editions published in 1984 in English and held by 1,344 WorldCat member libraries worldwide

Describes the breathtaking sights and hardy inhab- itants of the unique national parks in Alaska
Alaska's wildlife treasures by Tom Melham( Book )

9 editions published between 1957 and 1998 in English and Spanish and held by 942 WorldCat member libraries worldwide

A trek through the last frontier reveals the natural treasures of land and animals that still abound in the northernmost state
Great American journeys by National Geographic( Book )

5 editions published in 1989 in English and held by 927 WorldCat member libraries worldwide

In chapters arranged by different modes of travel, the authors combine their personal adventures along various historical routes in the United States with historical anecdotes, reminiscences, and firsthand accounts
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings by Joe Hurd( Book )

12 editions published in 2005 in English and held by 136 WorldCat member libraries worldwide

"This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during 22-25 August 2005 in Oxford, UK."
National Geographic expeditions atlas( Book )

2 editions published in 2000 in English and held by 11 WorldCat member libraries worldwide

Overzicht in woord en beeld van een aantal expedities die door de National Geographic Society werden georganiseerd
National Geographic : Büyük keşifler( Book )

2 editions published in 2001 in Turkish and held by 3 WorldCat member libraries worldwide

Canada's incredible coasts by National Geographic Society (U.S.)( Book )

3 editions published between 1991 and 1995 in Spanish and English and held by 3 WorldCat member libraries worldwide

Describes the wildlife, people, sea, and flora of Canada's Coasts from Newfoundland to the Arctic
National-geographic-Expeditionen : die grössten Abenteuer unserer Zeit ; [eine Veröffentlichung der National Geographic Society( Book )

2 editions published in 2000 in German and held by 3 WorldCat member libraries worldwide

America's seashore wonderlands( Book )

2 editions published between 1985 and 1995 in Spanish and English and held by 2 WorldCat member libraries worldwide

Special issue on Theorem provers and functional programming( Book )

1 edition published in 1999 in English and held by 2 WorldCat member libraries worldwide

Niezwykła podróż w głąb ludzkiego ciała( Book )

1 edition published in 2001 in Polish and held by 2 WorldCat member libraries worldwide

Wielkie wyprawy National Geographic( Book )

1 edition published in 2001 in Polish and held by 2 WorldCat member libraries worldwide

DCC 2004 : fifth international worksop on designing correct circuits : participants' proceedings : [held as Part of the Joint European Conferences on Theory and Practice of Software] by International Workshop on Designing Correct Circuits( Book )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

Designing Correct Circuits : Workshop, DCC'02 [held as Part of the Joint European Conferences on Theory and Practice of Software] by Data Compression Conference( Book )

1 edition published in 2002 in English and held by 1 WorldCat member library worldwide

Theorem Proving in Higher Order Logics by Joe Hurd( Book )

in English and held by 1 WorldCat member library worldwide

Companion volume to the proceedings of TPHOLs 2005, ed. Hurd and Melham
Parques naturales de Alaska( Book )

1 edition published in 1993 in Spanish and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.12 (from 0.09 for Alaska's w ... to 0.99 for Parques na ...)

Alaska's wildlife treasures
Languages
Covers
Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedingsNational Geographic expeditions atlasCanada's incredible coasts