aller au contenu
Mixed inductive-coinductive reasoning : types, programs and logic Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

Mixed inductive-coinductive reasoning : types, programs and logic

Auteur : Henning Basold; J J M M Rutten; H Geuvers
Éditeur: Nijmegen : Radboud Universiteit, 2018
Dissertation: PhD thesis Radboud Universiteit
Édition/format:   Thèse/dissertation : Thèse/mémoire : Anglais
Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type d’ouvrage: Thèse/mémoire
Type de document: Livre
Tous les auteurs / collaborateurs: Henning Basold; J J M M Rutten; H Geuvers
ISBN: 9780244672065 0244672067
Numéro OCLC: 1084613726
Description: 330 p. ; 24 cm.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


\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