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

Auteur(s) : Snyers, Dominique  Voir les notices liées en tant qu'auteur

Titre(s) : From Logic Design to Logic Programming [Texte électronique] : Theorem Proving Techniques and P-Functions / by Dominique Snyers, André Thayse

Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1987

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science ; 271

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Autre(s) auteur(s) : Thayse, André (1940-....). 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
Algorithmes  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet
Programmation logique  Voir les notices liées en tant que sujet
Structure logique  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 ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540478119

Identifiant de la notice  : ark:/12148/cb44692382d

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