码农家园

关于并发：为什么 SQL Server 显式谓词锁定不允许在谓词锁之外插入语句

concurrencylockingpredicatesql-servertransactions

关于 c :Class locals as predicates pre C 11

c++c++11compiler-errorslanguage-lawyerpredicate

关于类型：如何在 Isabelle 中对”布尔值”进行归纳定义

booleandefinitionisabellepredicatetypes