Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  120 نتائج ل ""boole""

فلترة النتائج

Publisher : hal ccsd
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Eigenlogic in the Spirit of George Boole

Subjects: Boole’s propositional logic; Truth tables; Switching theory

  • Source: ISSN: 1661-8297.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

Eigenlogic in the Spirit of George Boole

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Multilinear map

  • Source: Logica UniversalisLogica Universalis, Springer Verlag, 2020, 14 (2), pp.175-207. ⟨10.1007/s11787-020-00252-3⟩

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Book

Boole’s Symbolized Laws of Thought Facing Empiricism

Subjects: Boole symbolical logic algebra empiricism probability Mathematical Subject Classification Primary 03A05. Secondary 03-03. 01A55. 01A72; Boole; symbolical logic

  • Source: Logic in Question ; https://shs.hal.science/halshs-03946110 ; Jean-Yves Béziau ; Jean-Pierre Desclés ; Amirouche Moktefi ; Anca Christine Pascu. Logic in Question, Springer International Publishing,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Dissertation/ Thesis

Social representations and risks seen by central African students studying in France : Norms and Boolean ; Représentations sociales et risques vus par les étudiants d’Afrique Centrale qui font leurs études en France : Normes et Algèbre de Boole

Subjects: Social representations; Norms; Risks

  • Source: https://theses.hal.science/tel-03272728 ; Psychologie. Université d'Angers, 2020. Français. ⟨NNT : 2020ANGE0029⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Une algèbre de Boole pour l'approche événementielle des systèmes logiques

Subjects: Grafcet; algèbre de Boole; événement

  • Source: Automatique Productique Informatique Industrielle ; https://hal.science/hal-00347042 ; Automatique Productique Informatique Industrielle, 1993, 27 (5), pp.541-560

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

De l'algèbre de Boole à l'apprentissage organisationnel : une histoire logique de la cybernétique et du management

Subjects: Management; Cybernetics; Logic

  • Source: ISSN: 1952-3262 ; Management & sciences sociales ; https://hal.science/hal-01856604 ; Management & sciences sociales, 2017, La diversité : regards croisés. Aujourd’hui et demain, 23, pp.86-100.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Algebraic and logistic investigations on free lattices [Algebraische und logistische Untersuchungen über freie Verbände] ; Algebraic and logistic investigations on free lattices

  • Authors : Lorenzen, Paul; Rheinische Friedrich-Wilhelms-Universität Bonn

Subjects: free countably complete boolean algebra; cut-elimination; infinitary proof theory03-03; 06-03

  • Source: https://hal.science/hal-01620945 ; 2023.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

Un développement algébrique de l'algorithme d'exclusion et quelques problèmes géométriques en algèbre de Boole

Subjects: algorithme d'exclusion; Boole; structure à consensus

  • Source: Modélisation et simulation. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1977

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Utilisation de l'algèbre de Boole en logique mathématique

Subjects: démonstration automatique; Boole; [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation

  • Source: Modélisation et simulation. Université Joseph-Fourier-Grenoble I, 1966. Français

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Boole Algebra in a Contemporary Setting. Boole-Operations, Types as Propositions and Immanent Reasoning

Subjects: [SHS.PHIL]Humanities and Social Sciences/Philosophy

  • Source: Diagne ; https://shs.hal.science/halshs-01599021 ; Diagne, 1989

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  120 نتائج ل ""boole""