Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Coalgebraic Methods in Computer Science [Texte électronique] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo

Publication : Cham : Springer International Publishing, 2016

Description matérielle : 1 ressource dématérialisée

Collection : Lecture Notes in Computer Science ; 9608
SpringerLink : Bücher

Autre(s) auteur(s) : Hasuo, Ichiro. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Ordinateurs  Voir les notices liées en tant que sujet
Logique informatique  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319403700

Identifiant de la notice  : ark:/12148/cb446812026

Notice n° :  FRBNF44681202 (notice reprise d'un réservoir extérieur)