passa ai contenuti
Mixed inductive-coinductive reasoning : types, programs and logic Anteprima di questo documento
ChiudiAnteprima di questo documento
Verifica in corso…

Mixed inductive-coinductive reasoning : types, programs and logic

Autore: Henning Basold; J J M M Rutten; H Geuvers
Pubblicazione: Nijmegen : Radboud Universiteit, 2018
Tesi: PhD thesis Radboud Universiteit
Edizione/Formato:   Tesi/dissertazione : Thesis/dissertation : English
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo materiale: Thesis/dissertation
Tipo documento Libro
Tutti gli autori / Collaboratori: Henning Basold; J J M M Rutten; H Geuvers
ISBN: 9780244672065 0244672067
Numero OCLC: 1084613726
Descrizione: 330 p. ; 24 cm.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Linked data


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/1084613726<\/a>> # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Thesis<\/a>, schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nbgn:inSupportOf<\/a> \"PhD thesis Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> ; # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> ; # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> ; # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> ; # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/8899379622<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"330<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"1084613726<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/nijmegen_radboud_universiteit<\/a>> ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> ; # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780244672065<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Agent\/radboud_universiteit<\/a>> # Radboud Universiteit<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Radboud Universiteit<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/basold_henning<\/a>> # Henning Basold<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Basold<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Henning<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Henning Basold<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/geuvers_h<\/a>> # H. Geuvers<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"H.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"H. Geuvers<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Person\/rutten_j_j_m_m<\/a>> # J. J. M. M. Rutten<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Rutten<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"J. J. M. M.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"J. J. M. M. Rutten<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/8899379622#Place\/nijmegen<\/a>> # Nijmegen<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Nijmegen<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"ne<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780244672065<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0244672067<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780244672065<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/1084613726<\/a>> ; # Mixed inductive-coinductive reasoning : types, programs and logic<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-06<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/1084613726#PublicationEvent\/2018<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"2018<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n