Results 121 to 130 of about 39,273,340 (170)

Formalizing the use case model: A model-based approach. [PDF]

PLoS One, 2020
Zaman QU, Nadeem A, Sindhu MA.
europepmc   +1 more source

A philosophical defence of limited foreknowledge open theism. [PDF]

Int J Philos Relig
Ackermann M.
europepmc   +1 more source

Public Announcements, Public Lies and Recoveries. [PDF]

J Logic Lang Inf, 2022
Li K, van Eijck J.
europepmc   +1 more source

Connexive Exclusion. [PDF]

Erkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

Place and place names: a unified model. [PDF]

Front Psychol, 2023
Ursini FA, Zhang YS.
europepmc   +1 more source

Open future, supervaluationism and the growing-block theory: a stage-theoretical account. [PDF]

Synthese, 2021
Loss R.
europepmc   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Scientific counterfactuals as make-believe. [PDF]

Synthese, 2022
Iranzo-Ribera N.
europepmc   +1 more source

Semantic Foundations of Reductive Reasoning. [PDF]

Topoi (Dordr)
Gheorghiu AV, Pym DJ.
europepmc   +1 more source