Results 161 to 170 of about 24,210 (235)

High-level characteristics of or- and independent and-parallelism in prolog [PDF]

, 1996
Kish Shen, Manuel V. Hermenegildo
openalex   +1 more source

Multi-user conflict resolution mechanisms for smart home environments. [PDF]

PeerJ Comput Sci, 2023
Aljawarneh MM, Shah SM, Dhomeja LD, Malkani YA, Jawarneh MS.   +4 more
europepmc   +1 more source

An Algebraic Specification of a Transformation Tool for Prolog Programs [PDF]

, 1997
Jacob Brunekreef
openalex   +1 more source

Efficient IoT User Authentication Protocol with Semi-Trusted Servers. [PDF]

Sensors (Basel)
Hu S, Zhang Y, Guo Y, Zhong W, Chen Y, Chen L.   +5 more
europepmc   +1 more source

Ewangelia według św. Łukasza jako przykład starożytnej historiografii

Warszawskie Studia Teologiczne
Dariusz Kucharek
doaj   +1 more source

The GNU Prolog system and its implementation [PDF]

, 2000
Daniel Díaz, Philippe Codognet
openalex   +1 more source

A prolog constraint handling rules compiler and runtime system [PDF]

, 2000
Christian Holzbaur, Thom Fr hwirth
openalex   +1 more source

Computer- and Smart-Tablet-Based Self-Administered Treatments in Chronic Post-Stroke Aphasia: A Systematic Review. [PDF]

Brain Sci
Ericson C, Latysheva A, Poirier SÈ, Fossard M.   +3 more
europepmc   +1 more source

Criação de ferramentas para ambiente PROLOG e o acesso de novatos ao paradigma da programação em logica

, 1993
M. Cecí­lia C. Baranauskas
openalex   +1 more source

Words or code first? Is the legacy document or a code statement the better starting point for complexity-reducing legal automation? [PDF]

Philos Trans A Math Phys Eng Sci
Goodenough OR, Carlson PJ.
europepmc   +1 more source