skip to content
The Haskell road to logic, maths and programming Preview this item
ClosePreview this item
Checking...

The Haskell road to logic, maths and programming

Author: Kees Doets; J van Eijck
Publisher: London : College Publications, ©2012.
Series: Texts in computing, 4.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Doets, Kees.
Haskell road to logic, maths and programming.
London : King's College Publications, ©2004
(OCoLC)698051721
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Kees Doets; J van Eijck
ISBN: 9780954300692 0954300696
OCLC Number: 859254600
Description: x, 432 pages : illustrations ; 23 cm.
Series Title: Texts in computing, 4.
Responsibility: Kees Doets, Jan van Eijck.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(2)

User lists with this item (2)

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\/859254600<\/a>> # The Haskell road to logic, maths and programming<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Book<\/a>, schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0library:oclcnum<\/a> \"859254600<\/span>\" ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>> ;\u00A0\u00A0\u00A0library:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/London<\/a>> ; # London<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002068<\/a>> ; # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/id.worldcat.org\/fast\/1002056<\/a>> ; # Logic programming<\/span>\u00A0\u00A0\u00A0schema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0schema:contributor<\/a> <http:\/\/viaf.org\/viaf\/51779531<\/a>> ; # Jan Eijck<\/span>\u00A0\u00A0\u00A0schema:copyrightYear<\/a> \"2012<\/span>\" ;\u00A0\u00A0\u00A0schema:creator<\/a> <http:\/\/viaf.org\/viaf\/76413419<\/a>> ; # Kees Doets<\/span>\u00A0\u00A0\u00A0schema:datePublished<\/a> \"2012<\/span>\" ;\u00A0\u00A0\u00A0schema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/17974578<\/a>> ;\u00A0\u00A0\u00A0schema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0schema:isPartOf<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/17974578#Series\/texts_in_computing<\/a>> ; # Texts in computing ;<\/span>\u00A0\u00A0\u00A0schema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/698051721<\/a>> ;\u00A0\u00A0\u00A0schema:name<\/a> \"The Haskell road to logic, maths and programming<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0schema:productID<\/a> \"859254600<\/span>\" ;\u00A0\u00A0\u00A0schema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/859254600#PublicationEvent\/london_college_publications_2012<\/a>> ;\u00A0\u00A0\u00A0schema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/17974578#Agent\/college_publications<\/a>> ; # College Publications<\/span>\u00A0\u00A0\u00A0schema:url<\/a> <http:\/\/digitool.hbz-nrw.de:1801\/webclient\/DeliveryManager?pid=2798428&custom_att_2=simple_viewer<\/a>> ;\u00A0\u00A0\u00A0schema:url<\/a> <http:\/\/bvbr.bib-bvb.de:8991\/F?func=service&doc_library=BVB01&doc_number=012984988&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA<\/a>> ;\u00A0\u00A0\u00A0schema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780954300692<\/a>> ;\u00A0\u00A0\u00A0wdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/859254600<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>

Related Entities<\/h3>
<http:\/\/dbpedia.org\/resource\/London<\/a>> # London<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"London<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/17974578#Agent\/college_publications<\/a>> # College Publications<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:Agent<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"College Publications<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/17974578#Series\/texts_in_computing<\/a>> # Texts in computing ;<\/span>\u00A0\u00A0\u00A0\u00A0a bgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0schema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/859254600<\/a>> ; # The Haskell road to logic, maths and programming<\/span>\u00A0\u00A0\u00A0schema:name<\/a> \"Texts in computing ;<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.loc.gov\/vocabulary\/countries\/enk<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:Place<\/a> ;\u00A0\u00A0\u00A0dcterms:identifier<\/a> \"enk<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/1002056<\/a>> # Logic programming<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Logic programming<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/id.worldcat.org\/fast\/1002068<\/a>> # Logic, Symbolic and mathematical<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Intangible<\/a> ;\u00A0\u00A0\u00A0schema:name<\/a> \"Logic, Symbolic and mathematical<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/51779531<\/a>> # Jan Eijck<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Eijck<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Jan<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"J. van<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Jan Eijck<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/viaf.org\/viaf\/76413419<\/a>> # Kees Doets<\/span>\u00A0\u00A0\u00A0\u00A0a schema:Person<\/a> ;\u00A0\u00A0\u00A0schema:familyName<\/a> \"Doets<\/span>\" ;\u00A0\u00A0\u00A0schema:givenName<\/a> \"Kees<\/span>\" ;\u00A0\u00A0\u00A0schema:name<\/a> \"Kees Doets<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/worldcat.org\/isbn\/9780954300692<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:ProductModel<\/a> ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"0954300696<\/span>\" ;\u00A0\u00A0\u00A0schema:isbn<\/a> \"9780954300692<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/oclc\/698051721<\/a>>\u00A0\u00A0\u00A0\u00A0a schema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0rdfs:label<\/a> \"Haskell road to logic, maths and programming.<\/span>\" ;\u00A0\u00A0\u00A0schema:description<\/a> \"Online version:<\/span>\" ;\u00A0\u00A0\u00A0schema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/859254600<\/a>> ; # The Haskell road to logic, maths and programming<\/span>\u00A0\u00A0\u00A0\u00A0.<\/div>
<http:\/\/www.worldcat.org\/title\/-\/oclc\/859254600<\/a>>\u00A0\u00A0\u00A0\u00A0a genont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0schema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/859254600<\/a>> ; # The Haskell road to logic, maths and programming<\/span>\u00A0\u00A0\u00A0schema:dateModified<\/a> \"2018-11-09<\/span>\" ;\u00A0\u00A0\u00A0void:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.<\/div>