Results 61 to 70 of about 65,097 (137)

From intersubjective correspondence to the counterpart relation-motifs from Carnap's Aufbau in Lewis's counterpart theory and his philosophical methodology. [PDF]

Asian J Philos
Michels R.
europepmc   +1 more source

A review of data abstraction. [PDF]

Front Artif Intell, 2023
Cima G, Console M, Lenzerini M, Poggi A.
europepmc   +1 more source

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]

PeerJ Comput Sci, 2023
García V, Escobar S, Ogata K, Akleylek S, Otmani A.   +4 more
europepmc   +1 more source

Iconic logic: the visual art of drawing the right conclusion. [PDF]

Front Psychol
Kramer P.
europepmc   +1 more source

Dependency Grammar Approach to the Syntactic Complexity in the Discourse of Alzheimer Patients. [PDF]

Behav Sci (Basel)
Lian Z, Wang Z.
europepmc   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source

A Scalable Approach to IoT Interoperability: The Share Pattern. [PDF]

Sensors (Basel)
Petracci R, Culmone R.
europepmc   +1 more source

Modern perspectives in Proof Theory. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Aguilera JP, Pakhomov F, Weiermann A.
europepmc   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source