Home

WorldCat Home Su WorldCat Aiuto Ricevi aggiornamenti via e-mail Feedback

Cerca

Cerca documenti Cerca una lista Cerca contatti Cerca una biblioteca

Crea liste, bibliografie e commenti: o

Cita/Esporta

Cita/Esporta

Copia una citazione

APA (6th ed.)

Chicago (Authore-Data, 15. ed.)

Harvard (18. ed.)

MLA (7. ed.)

Turabian (6. ed.)

Esporta una citazione
Esporta in RefWorks Esporta su EndNote / Gestione Reference Esporta in EasyBib Annulla
Nota: Le citazioni si basano su standard di riferimento. Tuttavia, le regole di formattazione possono variare notevolmente tra le applicazioni e campi di interesse o di studio. Possono essere applicati i requisiti specifici o le preferenze del tuo editore, insegnante, istituzione o organizzazione.
Stampa
Email

Email

Tutti i campi sono obbligatori.

Il campo email è obbligatorio. Inserisci l'indirizzo(i) e-mail.

L’indirizzo email inserito non è in un formato corretto. Inserirlo nuovamente.

Puoi inviare questo documento ad un massimo di cinque destinatari.
Inserisci indirizzi email destinatari: Separa al massimo 5 indirizzi con la virgola (,)
Il campo nome è obbligatorio. Inserisci il tuo nome.
Inserisci il tuo nome: Soggetto:
Il campo messaggio email è obbligatorio. Inserire il messaggio.
Messaggio email: Credo tu possa essere interessato a questo documento su http://www.worldcat.org/oclc/5265360 Titolo: Data types as lattices Autore: Dana S Scott Editore: Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976. OCLC:5265360

I termini ReCaptcha inseriti non sono corretti. Si prega di provare a trovare le due parole corrispondenti mostrate nella finestra o di provare la versione audio.

Annulla
Condividi
Permalink

Permalink

Copia questo URL per collegare a questa pagina:

Scrivi un commento
Vota questo documento:
- 1
- 2
- 3
- 4
- 5

Anteprima di questo documento

Altri come questo

Soggetti

Documenti simili

Data types as lattices

Autore:	Dana S Scott
Editore:	Oxford : Oxford University Computing Laboratory, Programming Research Group, 1976.
Serie:	Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Edizione/Formato:	Libro : English
Voto:	(non ancora votato) 0 con commenti - Diventa il primo.

Chiedi in prestito / ottieni una copia

Trova una copia in biblioteca

Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento:	Book
Tutti gli autori / Collaboratori:	Dana S Scott Più informazioni su:
Numero OCLC:	5265360
Note:	Cover title. Reprinted from the SIAM journal on computing, v. 5.
Descrizione:	p. 522-587 ; 25 cm.
Titolo della serie:	Technical monograph (Oxford University Computing Laboratory. Programming Research Group), PRG-5.
Responsabilità:	by Dana Scott.

Commenti

Commenti degli utenti

Etichette

Diventa il primo.

Documenti simili

Soggetti correlati:(8)

Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati

Maggiori informazioni sui dati collegati

<http://www.worldcat.org/oclc/5265360>

library:oclcnum

"5265360"

library:placeOfPublication

rdf:type	schema:Place
schema:name	"Oxford"

library:placeOfPublication

<http://id.loc.gov/vocabulary/countries/enk>

rdf:type

schema:Country

owl:sameAs

<info:oclcnum/5265360>

rdf:type

schema:Book

schema:about

<http://id.worldcat.org/fast/1078716>

rdf:type	schema:Intangible
schema:name	"Programming languages (Electronic computers)--Semantics"

schema:about

rdf:type	schema:Intangible
schema:name	"Programmiersprache."

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85052334>
rdf:type	schema:Intangible
schema:name	"Functions, Continuous."

schema:about

<http://id.worldcat.org/fast/993426>

rdf:type	schema:Intangible
schema:name	"Lattice theory"

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85112014>
rdf:type	schema:Intangible
schema:name	"Recursive functions."

schema:about

<http://dewey.info/class/001.6424/>

rdf:type

schema:Intangible

schema:about

<http://id.worldcat.org/fast/936126>

rdf:type	schema:Intangible
schema:name	"Functions, Continuous"

schema:about

rdf:type	schema:Intangible
schema:name	"Kontinuierliches Gitter."

schema:about

rdf:type	schema:Intangible
schema:name	"Semantik."

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85074991>
rdf:type	schema:Intangible
schema:name	"Lattice theory."

schema:about

rdf:type	schema:Intangible
schema:name	"Mathematik."

schema:about

<http://id.worldcat.org/fast/1091984>

rdf:type	schema:Intangible
schema:name	"Recursive functions"

schema:about

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/subjects/sh85107316>
rdf:type	schema:Intangible
schema:name	"Programming languages (Electronic computers)--Semantics."

schema:author

<http://viaf.org/viaf/65289661>

madsrdf:isIdentifiedByAuthority	<http://id.loc.gov/authorities/names/n79118951>
rdf:type	schema:Person
rdfs:label	"Scott, Dana S."

schema:datePublished

"1976"

schema:inLanguage

"en"

schema:name

"Data types as lattices"

schema:publisher

rdf:type	schema:Organization
schema:name	"Oxford University Computing Laboratory, Programming Research Group"

Per favore entra in WorldCat

Non hai un account? Puoi facilmente crearne uno gratuito.

Yu:	Entra \| Registro \| Il Mio WorldCat \| Le Mie liste \| Le liste che seguo \| I Miei commenti \| Le mie Etichette \| Le Mie ricerche salvate
WorldCat:	Home \| A proposito di \| Aiuto \| Ricevi aggiornamenti via e-mail \| Feedback \| Cerca