omitir hasta el contenido
A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies Ver este material de antemano
CerrarVer este material de antemano
Chequeando…

A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies

Autor: Guy L Steele; Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
Editorial: Cambridge, Mass. : Artificial Intelligence Laboratory, Massachusetts Institute of Technology, ©1980.
Serie: MIT/AI/TR-, 595.
Edición/Formato:   Print book : Inglés (eng)Ver todas las ediciones y todos los formatos
Base de datos:WorldCat
Calificación:

(todavía no calificado) 0 con reseñas - Ser el primero.

Temas
Más materiales como éste

 

Encontrar un ejemplar en la biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que tienen este material…

Detalles

Tipo de documento: Libro/Texto
Todos autores / colaboradores: Guy L Steele; Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
Número OCLC: 13072621
Notas: "Thesis supervisor, Gerald Jay Sussman"--Page 3.
"August 1980."
Originally presented as the author's thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1980.
Descripción: 372 pages : illustrations ; 28 cm.
Título de la serie: MIT/AI/TR-, 595.
Otros títulos: Definition and implementation of a computer programming language based on constraints
Definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints
Computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints
Computer programming language based on constraints
Responsabilidad: by Guy Lewis Steele, Jr.

Reseñas

Reseñas contribuidas por usuarios
Recuperando reseñas de GoodReads…
Recuperando reseñas de DOGObooks…

Etiquetas

Ser el primero.
Confirmar este pedido

Ya ha pedido este material. Escoja OK si desea procesar el pedido de todos modos.

Datos enlazados


Primary Entity

<http://www.worldcat.org/oclc/13072621> # A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "13072621" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/20327129#Place/cambridge_mass> ; # Cambridge, Mass.
    schema:about <http://dewey.info/class/005.13/> ;
    schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
    schema:about <http://id.worldcat.org/fast/875874> ; # Constraints (Artificial intelligence)
    schema:alternateName "Computer programming language based on constraints" ;
    schema:alternateName "Definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints" ;
    schema:alternateName "Definition and implementation of a computer programming language based on constraints" ;
    schema:alternateName "Computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints" ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/141940489> ; # Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
    schema:copyrightYear "1980" ;
    schema:creator <http://viaf.org/viaf/108135160> ; # Guy L. Steele
    schema:exampleOfWork <http://worldcat.org/entity/work/id/20327129> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20327129#Series/ai_tr> ; # AI-TR ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/20327129#Series/mit_ai_tr> ; # MIT/AI/TR- ;
    schema:name "A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies"@en ;
    schema:productID "13072621" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/13072621#PublicationEvent/cambridge_mass_artificial_intelligence_laboratory_massachusetts_institute_of_technology_1980> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/20327129#Agent/artificial_intelligence_laboratory_massachusetts_institute_of_technology> ; # Artificial Intelligence Laboratory, Massachusetts Institute of Technology
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/13072621> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/20327129#Agent/artificial_intelligence_laboratory_massachusetts_institute_of_technology> # Artificial Intelligence Laboratory, Massachusetts Institute of Technology
    a bgn:Agent ;
    schema:name "Artificial Intelligence Laboratory, Massachusetts Institute of Technology" ;
    .

<http://experiment.worldcat.org/entity/work/data/20327129#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/20327129#Series/ai_tr> # AI-TR ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13072621> ; # A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies
    schema:name "AI-TR ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/20327129#Series/mit_ai_tr> # MIT/AI/TR- ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/13072621> ; # A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies
    schema:name "MIT/AI/TR- ;" ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
    schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/875873> # Constraint programming (Computer science)
    a schema:Intangible ;
    schema:name "Constraint programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/875874> # Constraints (Artificial intelligence)
    a schema:Intangible ;
    schema:name "Constraints (Artificial intelligence)"@en ;
    .

<http://viaf.org/viaf/108135160> # Guy L. Steele
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Steele" ;
    schema:givenName "Guy L." ;
    schema:name "Guy L. Steele" ;
    .

<http://viaf.org/viaf/141940489> # Massachusetts Institute of Technology. Artificial Intelligence Laboratory.
    a schema:Organization ;
    schema:name "Massachusetts Institute of Technology. Artificial Intelligence Laboratory." ;
    .

<http://www.worldcat.org/title/-/oclc/13072621>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/13072621> ; # A dissertation on research concerning the definition and implementation of a computer programming language intended as a platform on which to erect systems for computer-aided design of engineered objects based on constraints : a model for computation combining a simple declarative semantics with a vivid intuitive visualization as a network of simultaneously active physical devices computing in parallel without prior prejudice as to the direction of the flow of data using the technique of local propagation augmented by dependency-directed backtracking for detecting and resolving global inconsistencies
    schema:dateModified "2016-07-23" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Cerrar ventana

Inicie una sesión con WorldCat 

¿No tienes una cuenta? Puede fácilmente crear una cuenta gratuita.