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

Auteur(s) : Schlechta, Karl (1948-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Formal methods for nonmonotonic and related logics. vol. 1, Preference and size [Texte électronique] / Karl Schlechta

Titre d'ensemble : Formal methods for nonmonotonic and related logics ; 1

Lien au titre d'ensemble : Appartient à : Formal methods for nonmonotonic and related logics  Voir toutes les notices liées

Publication : Cham : Springer, copyright 2018

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

Note(s) : Bibliogr. p. 797-804
La pagination de l'édition imprimée correspondante est de : XXXII-335 p.

Sujet(s) : Raisonnement non monotone  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 113 (23e éd.) = Informatique - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783319896533. - ISBN 3319896539

Identifiant de la notice  : ark:/12148/cb45779002p

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