skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983 Preview this item
ClosePreview this item
Checking...

24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983

Author: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publisher: [Silver Spring, Md.] : IEEE Computer Society Press, ©1983.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.
ISBN: 0818685085 9780818685088 0818605081 9780818605086 0818645083 9780818645082
OCLC Number: 10420488
Notes: "IEEE catalog no. 83CH1938-0."
Description: xii, 477 pages : illustrations ; 28 cm
Other Titles: Foundations of computer science
Responsibility: sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.

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<\/h3>
<http:\/\/www.worldcat.org\/oclc\/10420488<\/a>> # 24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983<\/span>\u00A0\u00A0\u00A0\u00A0a schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"10420488<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Place\/silver_spring_md<\/a>> ; # Silver Spring, Md.<\/span>\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/mdu<\/a>> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/906956<\/a>> ; # Electronic data processing<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/872390<\/a>> ; # Computer programming<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1004846<\/a>> ; # Machine theory<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/electronic_data_processing<\/a>> ; # Electronic data processing<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/machine_theory<\/a>> ; # Machine theory<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/computer_programming<\/a>> ; # Computer programming<\/span>\u00A0\u00A0\u00A0schema:alternateName<\/a> \"Foundations of computer science<\/span>\" ;\u00A0\u00A0\u00A0schema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0schema:contributor<\/a> <http:\/\/viaf.org\/viaf\/155801218<\/a>> ; # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.<\/span>\u00A0\u00A0\u00A0schema:copyrightYear<\/a> \"1983<\/span>\" ;\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Meeting\/symposium_on_foundations_of_computer_science_24th_1983_tucson_ariz<\/a>> ; # Symposium on Foundations of Computer Science (24th : 1983 : Tucson, Ariz.)<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"1983<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/1151241250<\/a>> ;\u00A0\u00A0\u00A0schema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0schema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0schema:productID<\/a> \"10420488<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/10420488#PublicationEvent\/silver_spring_md_ieee_computer_society_press_1983<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Agent\/ieee_computer_society_press<\/a>> ; # IEEE Computer Society Press<\/span>\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780818605086<\/a>> ;\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780818645082<\/a>> ;\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780818685088<\/a>> ;\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/10420488<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Agent\/ieee_computer_society_press<\/a>> # IEEE Computer Society Press<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"IEEE Computer Society Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Meeting\/symposium_on_foundations_of_computer_science_24th_1983_tucson_ariz<\/a>> # Symposium on Foundations of Computer Science (24th : 1983 : Tucson, Ariz.)<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0schema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Place\/tucson_ariz<\/a>> ; # Tucson, Ariz.)<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Symposium on Foundations of Computer Science (24th : 1983 : Tucson, Ariz.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Place\/silver_spring_md<\/a>> # Silver Spring, Md.<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Silver Spring, Md.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Place\/tucson_ariz<\/a>> # Tucson, Ariz.)<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Tucson, Ariz.)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/computer_programming<\/a>> # Computer programming<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0rdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2007004295<\/a>> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Computer programming<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/electronic_data_processing<\/a>> # Electronic data processing<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0rdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008102934<\/a>> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Electronic data processing<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/1151241250#Topic\/machine_theory<\/a>> # Machine theory<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0rdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008107145<\/a>> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Machine theory<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/vocabulary\/countries\/mdu<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0dcterms:identifier<\/a> \"mdu<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/1004846<\/a>> # Machine theory<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Machine theory<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/872390<\/a>> # Computer programming<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Computer programming<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/906956<\/a>> # Electronic data processing<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Electronic data processing<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/155801218<\/a>> # IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Organization<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780818605086<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0818605081<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780818605086<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780818645082<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0818645083<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780818645082<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780818685088<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0818685085<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780818685088<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/10420488<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/10420488<\/a>> ; # 24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-11<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>