Czech Modální μ-kalkulus Cited by user Tom9el3 on 12 Feb 2024 V teoretické informatice modální μ-kalkulus ( Lμ, L μ, někdy jen μ-kalkulus) označuje rozšíření výrokové modální logiky (s více modalitami).
Thai โมเช วาย. วาดิ Cited by user InternetArchiveBot on 14 Dec 2023 โมเช ยาโคบ วาดิ (משה יעקב ורדי, Moshe Ya'akov Vardi; เกิด 4 กรกฎาคม ค.ศ. 1954) เป็นนักวิทยาการคอมพิวเตอร์เชื้อสายยิว ปัจจุบันเขาเป็นศาสตราจารย์สอนอยู่ที่ Rice University ป…
English Datalog Cited by user Siddharthist on 06 Mar 2023 Datalog is a declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation…
Hebrew משה ורדי (מדען מחשב) Cited by user MordechaiLando on 12 Jan 2023 משה יעקב ורדי (נולד ב-4 ביולי 1954) הוא פרופסור (בדרגת University Professor) למדעי המחשב באוניברסיטת רייס בטקסס, זוכה פרס גדל לשנת 2000.