skip to content
Computer programming and formal systems Preview this item
ClosePreview this item
Checking...

Computer programming and formal systems

Author: P Braffort; D Hirschberg
Publisher: Amsterdam, North-Holland Pub. Co., 1963.
Series: Studies in logic and the foundations of mathematics.
Edition/Format:   eBook : Document : 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: Electronic books
Additional Physical Format: Print version:
Braffort, P. (Paul).
Computer programming and formal systems.
Amsterdam, North-Holland Pub. Co., 1963
(DLC) 63003816
(OCoLC)1464067
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: P Braffort; D Hirschberg
ISBN: 9780444534002 0444534008
OCLC Number: 301257410
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (vi, 161 pages) illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Mechanical mathematics and inferential analysis / Hao Wang --
Observations concering computation, deduction and heuristics / E.W. Beth --
Basis for mathematical theory of computation / John McCarthy --
Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore --
AS implified proof method for elementary logic / Stig Kanger --
Basic for the mechanization of the theory of equations / A. Robinson --
Programming and the theory of automata / Arthur W. Burks --
Algebraic theory of context-free languages / N. Chomsky, M.P. Schützenberger.
Series Title: Studies in logic and the foundations of mathematics.
Responsibility: Edited by P. Braffort and D. Hirschberg.

Reviews

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

Tags

Be the first.

Similar Items

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/301257410> # Computer programming and formal systems
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "301257410" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1011832685#Place/amsterdam> ; # Amsterdam
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1011832685#Topic/programmation_ordinateurs> ; # Programmation (Ordinateurs)
    schema:about <http://dewey.info/class/519.92/> ;
    schema:bookFormat schema:EBook ;
    schema:datePublished "1963" ;
    schema:description "Mechanical mathematics and inferential analysis / Hao Wang -- Observations concering computation, deduction and heuristics / E.W. Beth -- Basis for mathematical theory of computation / John McCarthy -- Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore -- AS implified proof method for elementary logic / Stig Kanger -- Basic for the mechanization of the theory of equations / A. Robinson -- Programming and the theory of automata / Arthur W. Burks -- Algebraic theory of context-free languages / N. Chomsky, M.P. Schützenberger."@en ;
    schema:editor <http://viaf.org/viaf/56740655> ; # Paul Braffort
    schema:editor <http://viaf.org/viaf/77354560> ; # David Hirschberg
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1011832685> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1011832685#Series/studies_in_logic_and_the_foundations_of_mathematics> ; # Studies in logic and the foundations of mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/1464067> ;
    schema:name "Computer programming and formal systems"@en ;
    schema:productID "301257410" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/301257410#PublicationEvent/amsterdam_north_holland_pub_co_1963> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1011832685#Agent/north_holland_pub_co> ; # North-Holland Pub. Co.
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/1464067.html> ;
    schema:url <http://books.google.com/books?id=gCI4AAAAMAAJ> ;
    schema:url <http://www.sciencedirect.com/science/bookseries/0049237X/35> ;
    schema:url <http://www.sciencedirect.com/science/book/9780444534002> ;
    schema:workExample <http://worldcat.org/isbn/9780444534002> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/301257410> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1011832685#Agent/north_holland_pub_co> # North-Holland Pub. Co.
    a bgn:Agent ;
    schema:name "North-Holland Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/1011832685#Series/studies_in_logic_and_the_foundations_of_mathematics> # Studies in logic and the foundations of mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/301257410> ; # Computer programming and formal systems
    schema:name "Studies in logic and the foundations of mathematics." ;
    schema:name "Studies in logic and the foundations of mathematics" ;
    .

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

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

<http://viaf.org/viaf/56740655> # Paul Braffort
    a schema:Person ;
    schema:familyName "Braffort" ;
    schema:givenName "Paul" ;
    schema:givenName "P." ;
    schema:name "Paul Braffort" ;
    .

<http://viaf.org/viaf/77354560> # David Hirschberg
    a schema:Person ;
    schema:familyName "Hirschberg" ;
    schema:givenName "David" ;
    schema:givenName "D." ;
    schema:name "David Hirschberg" ;
    .

<http://worldcat.org/isbn/9780444534002>
    a schema:ProductModel ;
    schema:isbn "0444534008" ;
    schema:isbn "9780444534002" ;
    .

<http://www.worldcat.org/oclc/1464067>
    a schema:CreativeWork ;
    rdfs:label "Computer programming and formal systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/301257410> ; # Computer programming and formal systems
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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