zum Inhalt wechseln
Mixed inductive-coinductive reasoning : types, programs and logic Titelvorschau
SchließenTitelvorschau
Wird geprüft…

Mixed inductive-coinductive reasoning : types, programs and logic

Autor: Henning Basold; J J M M Rutten; H Geuvers
Verlag: Nijmegen : Radboud Universiteit, 2018
Hochschulschrift: PhD thesis Radboud Universiteit
Ausgabe/Medienart  Hochschulschrift : Diplomarbeit/Dissertation : Englisch
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erster eine Rezension.

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Medienart: Diplomarbeit/Dissertation
Dokumenttyp Buch
Alle Autoren: Henning Basold; J J M M Rutten; H Geuvers
ISBN: 9780244672065 0244672067
OCLC-Nummer: 1084613726
Beschreibung: 330 p. ; 24 cm.

Rezensionen

Nutzer-Rezensionen

Schlagwörter

Tragen Sie als Erster Schlagwörter ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


\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