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

Titre(s) : Fields of logic and computation II [Texte électronique] : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

Publication : Cham : Springer, 2015

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

Collection : Lecture notes in computer science ; 9300
LNCS sublibrary. SL 2, Programming and software engineering

Note(s) : Titre de l'écran-titre (visionné le 4 mars 2016)

Autre(s) auteur(s) : Blass, Andreas (1947-....)  Voir les notices liées en tant qu'auteur
Gurevich, Yuri. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Beklemishev, Lev Dmitrievich (1967-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Dershowitz, Nachum (1951-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Finkbeiner, Bernd. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Schulte, Wolfram. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Yurifest Symposium (2e ; 2015 ; Berlin, Allemagne). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet ; 005.11 (23e éd.) = Méthodes de développement de logiciels ; paradigmes de programmation  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319235349

Identifiant de la notice  : ark:/12148/cb44680584z

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