Results 161 to 170 of about 86,056 (174)

Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies

, 1968
David A. Clarke
openalex  

Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 (1960), pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 (1960), pp. 97–117.

, 1968
David A. Clarke
openalex   +1 more source

Predicate order and coherence in copredication

Inquiry (United Kingdom)
Elliot Murphy
exaly  

Inductive inference in the variable valued predicate logic system vl21: methodology and computer implementation.

, 1977
James B. Larson
openalex  

A Free Variable Version of the First-Order Predicate Calculus

, 1991
Martin Davis, RONALD FECHTER
openalex   +1 more source

Variable binding and predicate representation in a behavior-based architecture

, 1996
Ian Horswill
openalex   +1 more source

Evaluation of clinical variables as predicators of left ventricular function in acute myocardial infarction.

, 1993
Jain Ap, Gupta Op, Jajoo Un, Anil Kumar, Trivedi Sk   +4 more
openalex  

Improving Business Failure Predication Using Rough Sets with Non-financial Variables

, 2007
Jao‐Hong Cheng, Chung‐Hsing Yeh, Yuh-Wen Chiu   +2 more
openalex   +1 more source

Path sharing and predicate evaluation for high-performance XML filtering

ACM Transactions on Database Systems, 2003
exaly  

A fault tolerant connectionist model for predicate logic reasoning, variable binding: using coarse-coded distributed representations

, 2005
Sriram G. Sanjeevi, Pushpak Bhattacharya
openalex