Imię wszystkim imion „Jam jest, który Jest” - pomiędzy logiką, metafizyką a ethosofią
Bogusław Jasiński
doaj +1 more source
Recenzja książki Logic in Theology, red. B. Brożek, A. Olszewski, M. Hohol, Copernicus Center Press, Kraków 2013, ss. 290.
Piotr Urbańczyk
doaj
U ovom diplomskom radu prezentiramo Hoareovu logiku koja daje pravila za odnos između tvrdnji o vrijednostima varijabli prije i nakon izvršavanja programa napisanog u IMP-u, tj. za provjeru parcijalne korektnosti. Proučavamo probleme utemeljenosti Hoareovih pravila i potpunosti.
openaire +1 more source
Clinical and Radiographic Outcomes of Apical Surgery: A Clinical Study. [PDF]
Öğütlü F, Karaca İ.
europepmc +1 more source
Fracture resistance and failure pattern of teeth submitted to internal bleaching with 37% carbamide peroxide, with application of different restorative procedures. [PDF]
Bonfante G +3 more
europepmc +1 more source
The influence of mineral trioxide aggregate on adaptive immune responses to endodontic pathogens in mice. [PDF]
Rezende TM +5 more
europepmc +1 more source
PENERAPAN ALGORITMA DIJKSTRA DAN FUZZY LOGIC SUGENO PADA GAME ZOMBIE SHOOTER [PDF]
Algoritma Dijkstra adalah algoritma yang digunakan untuk menentukan jalur terpendek dan logika fuzzy sugeno untuk mempersentasikan aturan dari yang dibuat kedalam aplikasi.
Delta Rizky, Fadli +2 more
core
Ecological systems and the concept of biological organization. [PDF]
Kolasa J, Pickett ST.
europepmc +1 more source
LUMINA: Linguistic unified multimodal Indonesian natural audio-visual dataset. [PDF]
Setyaningsih ER +4 more
europepmc +1 more source
Influence of Content and Type of Lanthanide on the Structure of Ln<sub>2</sub>O<sub>3</sub>-Covered Carbon Nanoflakes: The EPR and XPS Study. [PDF]
Savilov SV +6 more
europepmc +1 more source

