الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'systèmes formels'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique / A. Fuchs
Titre : Logique Type de document : texte imprimé Auteurs : A. Fuchs, Auteur ; G. Reeb, Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1993 Importance : 317 p. Présentation : ill. Format : 27*22 cm. Note générale : Titre Logique
Auteurs Fuchs A.
Édition -
Éditeur OPU, 1993
ISBN
Langue : Français
Longueur 317 pages
Dimensions 27 cm.
Langues : Français (fre) Mots-clés : calcule des propositions calcul des prédicats systèmes formels Index. décimale : 510 Résumé : Sommaire :
calcule des propositions-LA TABLE DES MATIéRES DU CHAPITRE 1 EST EN TTE DE CE CHAPITRE
calcul des prédicats-CALCUL DES PRéDICATS-TABLE DES MATIéRES DU CHAPITRE2-134P.-SYSTéMES FORMELS-TABLE DES MATIéRES DU CHAPITRE111P.190
systèmes formelsNote de contenu : index Logique [texte imprimé] / A. Fuchs, Auteur ; G. Reeb, Auteur . - Alger (16000, Algérie) : OPU, 1993 . - 317 p. : ill. ; 27*22 cm.
Titre Logique
Auteurs Fuchs A.
Édition -
Éditeur OPU, 1993
ISBN
Langue : Français
Longueur 317 pages
Dimensions 27 cm.
Langues : Français (fre)
Mots-clés : calcule des propositions calcul des prédicats systèmes formels Index. décimale : 510 Résumé : Sommaire :
calcule des propositions-LA TABLE DES MATIéRES DU CHAPITRE 1 EST EN TTE DE CE CHAPITRE
calcul des prédicats-CALCUL DES PRéDICATS-TABLE DES MATIéRES DU CHAPITRE2-134P.-SYSTéMES FORMELS-TABLE DES MATIéRES DU CHAPITRE111P.190
systèmes formelsNote de contenu : index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13065 510/09.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13066 510/09.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible