1.

Record Nr.

UNISA990005795360203316

Autore

International conference on automated deduction : <3.;  : London>

Titolo

Third international conference on logic programming : Imperial college of science and technology : London, United Kingdom, july 14-18, 1986 : proceedings / edited by Ehud Shapiro

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 1986

ISBN

3540164928

Descrizione fisica

IX, 720 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 225

Disciplina

005.13

Soggetti

Linguaggi di programmazione - Atti di congressi - Londra - 1986

Collocazione

001 LNCS 225

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910713813703321

Autore

Le Yen

Titolo

Outdoor Recreation Information Center recreational user study : Summer 2012 and Winter 2013 / / Yen Le

Pubbl/distr/stampa

Fort Collins, Colorado : , : U.S. Department of the Interior, National Park Service, Natural Resource Stewardship and Science, , 2013

Descrizione fisica

1 online resource (118 pages in various pagings) : illustrations

Collana

Natural resource report ; ; NPS/NRSS/EQD/NRR--2013/711

Soggetti

National parks and reserves - United States

Recreation centers - United States

Outdoor recreation - United States

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"NPS 909/122398, September 2013"--Page ii.

"Experience your America"--Page 4 of cover.

"This report and other reports by the Visitor Services Project (VSP)"--Page ii.

Includes tables.