Results 131 to 140 of about 24,210 (235)
On the detection of some periodic loops during the execution of Prolog programs [PDF]
, 1993 Dimiter Skordev
openalex +1 more source
Novel Spaced Repetition Flashcard System for the In-training Examination for Obstetrics and Gynecology. [PDF]
Med Sci Educ, 2021 Tsai S +5 more
europepmc +1 more source
Reasoning about Prolog programs: From modes through types to assertions [PDF]
, 1994 Krzysztof R. Apt, Elena Marchiori
openalex +1 more source
Resident Performance on the Obstetrics and Gynecology In-Training Examination After Implementation of a New Academic Curriculum. [PDF]
CureusLundeberg KR +4 more
europepmc +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
A Tabled Prolog Program for Solving Sokoban
IEEE International Conference on Tools with Artificial Intelligence, 2011 Neng-Fa Zhou, A. Dovier
semanticscholar +1 more source
On rewrite programs: Semantics and relationship with prolog [PDF]
, 1992 Maria Paola Bonacina, Jieh Hsiang
openalex +1 more source
Ontology based autonomous robot task processing framework. [PDF]
Front NeurorobotGe Y +6 more
europepmc +1 more source