Results 41 to 50 of about 61,516 (240)
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Goodwin, S.D., Mahroos, M., Neufeld, E.
openaire +2 more sources
The visibility of women in tenth‐century Rome
Women played a significant part in tenth‐century Rome, and the documentation makes them visible in a way rarely seen in early medieval sources. First examining the political agency of the foremost among them, women like Marozia and the Theophylact family senatrices, this paper also highlights the socio‐economic, legal and cultural role of many women of
Veronica West‐Harling
wiley +1 more source
La enseñanza de la programación implica un elevado nivel de complejidad, lo quiere decir, representa una dificultad extra en el aprendizaje en las aulas; más aún, cuando la programación cambia su paradigma, distinta a la programación tradicional; este es
Tonysé De la Rosa Martín+2 more
doaj
Non-termination Analysis of Logic Programs with Integer arithmetics
In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is ...
Danny De Schreye+5 more
core +2 more sources
Honouring the Past, Embracing the Future
Abstract The United Church of Canada, founded in 1925, represents an ambitious experiment in church union that blends Methodist, Presbyterian, and Congregationalist traditions. Over the past century, the church has played a pivotal role in shaping Canadian society by advocating for social justice, Indigenous reconciliation, interreligious dialogue ...
Hyuk Cho
wiley +1 more source
ABSTRACT This article examines Anna Maria Ortese's collection of journalistic reportages and short stories, Silenzio a Milano (Silence in Milan, 1958), and Ingeborg Bachmann's speech ‘Ein Ort für Zufälle’ (17 October 1964). It focuses on their topophobic images of Milan and West Berlin, the anxious representations of these post‐1945 urban landscapes ...
Roberto Interdonato
wiley +1 more source
Experimenting with independent and-parallel prolog using standard prolog [PDF]
This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
Carro Liñares, Manuel+1 more
core +2 more sources
TEACHING SPANISH IN THE UNIVERSAL MONARCHY: TOMÁS PINPIN'S GRAMMAR FOR TAGALOGS (1610)
ABSTRACT In 1610, a Tagalog printer named Tomás Pinpin published a Spanish grammar in Tagalog that was intended to help natives avoid errors and misunderstandings in their interactions with Spanish colonizers. This article attempts to clarify the book's genesis and to contextualize it within the global expansion of Spanish. Pinpin exemplifies a pattern
ALAN DURSTON
wiley +1 more source
Reading the Creed in the Light of Pentecost: An Eastern European Pneumatic Reflection
Abstract Reading the Creed through pneumatic lenses is essential for understanding both humanity's eschatological destiny in the likeness of the Trinity and the consistently triune economy of salvation. In light of this assertion, the essay highlights aspects of the Creed's explicit and implicit pneumatology, offering a reflection from an Eastern ...
Daniela C. Augustine
wiley +1 more source
ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
n articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este interpretorului limbajului de programare Prolog.
Serghei PELIN, Nicolai PELIN
doaj +1 more source