Logique et modélisation : modèles consistants, données compatibles / Michel Gondran, Jean-François Héry, Jean-Claude Laleuf

Date :

Editeur / Publisher : Paris : Éd. Eyrolles , cop. 1995

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-212-01647-6

Catalogue Worldcat

EAN : 9782212016475

Simulation, Méthodes de

Mathématiques -- Informatique

Logique mathématique

Logique

Logique algébrique

Modèles mathématiques

Classification Dewey : 510

Collection : Essai de théorie de la normalisation : Collection de la Direction des études et recherches d'Électricité de France / Pierre Ailleret,... ; Pierre Massé,... / Paris : Eyrolles , 1974