skip to content
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 Preview this item
ClosePreview this item
Checking...

Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979

Author: A P Ershov; Donald Ervin Knuth; Ŭzbekiston SSR fanlar akademii︠a︡si.
Publisher: Berlin ; New York : Springer-Verlag, 1981.
Series: Lecture notes in computer science, 122.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
International Symposium on Algorithms in Modern Mathematics and Computer Science (1979 : Urganch, Uzbekistan).
Algorithms in modern mathematics and computer science.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)559510878
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A P Ershov; Donald Ervin Knuth; Ŭzbekiston SSR fanlar akademii︠a︡si.
ISBN: 0387111573 9780387111575 3540111573 9783540111573
OCLC Number: 7948639
Notes: "The symposium was organized by the Academy of Sciences of the Uzbek S.S.R."--Foreword.
Description: xi, 487 pages : illustrations ; 24 cm.
Contents: Al-khorezmi his background, his personality his work and his influence.- Algorithms in modern mathematics and computer science.- What are the gains of the theory of algorithms.- On inductive synthesis of programs.- Expanding constructive universes.- The logical approach to programming.- The structural synthesis of programs.- On finding invariant relations of program.- What can we do with problems of exhaustive search?.- The algorithmic complexity of linear algebras.- Algorithms in various contexts.- Role of a notion of algorithm in the arithmetic language semantics.- From logicism to proceduralism (an autobiographical account).- Abstract computability on algebraic structures.- Algorithms and algebra.- On formal transformations of algorithms.- What should we do having proved a decision problem to be unsolvable?.- On the experience of riding two horses in programming.- Church-rosser transformers and decidable propertis of tree processing.- Supplement 1 summaries of oral presentations.- Supplement 2 technical program.- Supplement 3 publications on the symposium.- List of participants.- Supplement 5 photoillustrations.
Series Title: Lecture notes in computer science, 122.
Responsibility: edited by A.P. Ershov and D.E. Knuth.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/7948639> # Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "7948639" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104424150#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/algorithmes> ; # Algorithmes
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://dewey.info/class/511.8/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/algoritmen> ; # Algoritmen
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/complexite_calcul> ; # complexité calcul
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/synthese_programme> ; # synthèse programme
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/theorie_algorithme> ; # théorie algorithme
    schema:about <http://id.worldcat.org/fast/872010> ; # Computer algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/decidabilite> ; # décidabilité
    schema:about <http://experiment.worldcat.org/entity/work/data/1104424150#Topic/computer_algorithms> ; # Computer algorithms
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/5347110> ; # Andreĭ Petrovich Ershov
    schema:contributor <http://viaf.org/viaf/7466303> ; # Donald Ervin Knuth
    schema:contributor <http://viaf.org/viaf/130672484> ; # Ŭzbekiston SSR fanlar akademii︠a︡si.
    schema:datePublished "1981" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104424150> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104424150#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/559510878> ;
    schema:name "Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979"@en ;
    schema:productID "7948639" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/7948639#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104424150#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=122> ;
    schema:url <http://dx.doi.org/10.1007/3-540-11157-3> ;
    schema:workExample <http://worldcat.org/isbn/9780387111575> ;
    schema:workExample <http://worldcat.org/isbn/9783540111573> ;
    umbel:isLike <http://d-nb.info/810982234> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/7948639> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/7948639> ; # Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Topic/algorithmes> # Algorithmes
    a schema:Intangible ;
    schema:name "Algorithmes"@en ;
    schema:name "Algorithmes"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
    schema:name "complexité calcul"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Topic/synthese_programme> # synthèse programme
    a schema:Intangible ;
    schema:name "synthèse programme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104424150#Topic/theorie_algorithme> # théorie algorithme
    a schema:Intangible ;
    schema:name "théorie algorithme"@en ;
    .

<http://id.worldcat.org/fast/872010> # Computer algorithms
    a schema:Intangible ;
    schema:name "Computer algorithms"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/130672484> # Ŭzbekiston SSR fanlar akademii︠a︡si.
    a schema:Organization ;
    schema:name "Ŭzbekiston SSR fanlar akademii︠a︡si." ;
    .

<http://viaf.org/viaf/5347110> # Andreĭ Petrovich Ershov
    a schema:Person ;
    schema:familyName "Ershov" ;
    schema:givenName "Andreĭ Petrovich" ;
    schema:givenName "A. P." ;
    schema:name "Andreĭ Petrovich Ershov" ;
    .

<http://viaf.org/viaf/7466303> # Donald Ervin Knuth
    a schema:Person ;
    schema:birthDate "1938" ;
    schema:familyName "Knuth" ;
    schema:givenName "Donald Ervin" ;
    schema:name "Donald Ervin Knuth" ;
    .

<http://worldcat.org/isbn/9780387111575>
    a schema:ProductModel ;
    schema:isbn "0387111573" ;
    schema:isbn "9780387111575" ;
    .

<http://worldcat.org/isbn/9783540111573>
    a schema:ProductModel ;
    schema:isbn "3540111573" ;
    schema:isbn "9783540111573" ;
    .

<http://www.worldcat.org/oclc/559510878>
    a schema:CreativeWork ;
    rdfs:label "Algorithms in modern mathematics and computer science." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/7948639> ; # Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
    .

<http://www.worldcat.org/title/-/oclc/7948639>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/7948639> ; # Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
    schema:dateModified "2015-07-25" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.