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

Auteur(s) : RP Workshop (9 ; 2015 ; Warsaw, Poland)  Voir les notices liées en tant qu'auteur

Titre(s) : Reachability problems [Texte électronique] : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, proceedings / Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov (eds.)

Publication : Cham : Springer, [2015]

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

Collection : Lecture notes in computer science ; 9328
LNCS sublibrary: SL 1, Theoretical computer science and general issues

Note(s) : Includes bibliographical references and index

Autre(s) auteur(s) : Bojańczyk, Mikołaj. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Lasota, Sławomir. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Potapov, Igor. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique -- Mathématiques  Voir les notices liées en tant que sujet
Décidabilité (logique mathématique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319245379

Identifiant de la notice  : ark:/12148/cb446806905

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