Journal articles on the topic 'Dedukti'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Dedukti.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Assaf, Ali, and Guillaume Burel. "Translating HOL to Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.
Full textCauderlier, Raphaël, and Pierre Halmagrand. "Checking Zenon Modulo Proofs in Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.
Full textAssaf, Ali, and Raphaël Cauderlier. "Mixing HOL and Coq in Dedukti (Extended Abstract)." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.
Full textTraversié, Thomas. "Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti". Electronic Proceedings in Theoretical Computer Science 404 (8 липня 2024): 35–48. http://dx.doi.org/10.4204/eptcs.404.3.
Full textEl Haddad, Mohamed Yacine, Guillaume Burel, and Frédéric Blanqui. "EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)." Electronic Proceedings in Theoretical Computer Science 301 (August 23, 2019): 27–35. http://dx.doi.org/10.4204/eptcs.301.5.
Full textBarras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Full textBarras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.
Full textFebriyani, Komang Ayu Dita. "Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah." Jurnal Ilmu Hukum Sui Generis 2, no. 1 (2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.
Full textBry, François, and Dietmar Seipel. "Deduktive Datenbanken." Informatik-Spektrum 19, no. 4 (1996): 214–15. http://dx.doi.org/10.1007/s002870050033.
Full textFadillah, Ahmad. "Analisis Kemampuan Penalaran Deduktif Matematis Siswa." JTAM | Jurnal Teori dan Aplikasi Matematika 3, no. 1 (2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.
Full textYusuf, Muhammad. "Penerapan Manajemen Risiko dalam Perencanaan Keuangan." Qonun Iqtishad EL Madani Journal 3, no. 2 (2024): 96–104. https://doi.org/10.55438/jqim.v3i2.118.
Full textMarnis Wanji, Muhammad Firmansyah, Devira Restika Salsa Bila Gulo, Zaini Nurasa Azzahra, and Siti Mujiatun. "Penerapan Metode Deduktif dan Induktif dalam Manajemen." Jurnal Manajemen dan Pendidikan Agama Islam 3, no. 2 (2025): 239–50. https://doi.org/10.61132/jmpai.v3i2.990.
Full textHammer, Martin. "Deduktion und Dialektik." Hegel-Jahrbuch 2016, no. 1 (2016): 387–93. http://dx.doi.org/10.1515/hgjb-2016-0165.
Full textBudiono, Selamet, and Imam Suroso. "KONSEP HUKUM KEABSAHAN TANDA TANGAN ELEKTRONIK PADA SURAT KUASA KHUSUS OLEH ADVOKAT UNTUK BERACARA DI PERADILAN." Jurnal Magister Ilmu Hukum 13, no. 1 (2023): 130–52. http://dx.doi.org/10.56943/dekrit.v13n1.156.
Full textBambang Robi’in, Vera Yuli Erviana, and Dwi Sulisworo. "Outreach Program, Virtual Reality, dan Berpikir Hipotetikal Deduktif." Bincang Sains dan Teknologi 1, no. 01 (2022): 18–25. http://dx.doi.org/10.56741/bst.v1i01.46.
Full textMun’im, Abdul. "Dialektika Induksi dan Deduksi dalam Pemikiran Hukum Islam." ISLAMICA: Jurnal Studi Keislaman 4, no. 1 (2014): 1. http://dx.doi.org/10.15642/islamica.2009.4.1.1-16.
Full textDarta, Mr. "KEMAMPUAN DEDUKSI MATEMATIKA MAHASISWA TINGKAT PERTAMA PRODI PENDIDIKAN MATEMATIKA UNPAS (STUDI KASUS UNTUK TAHAP BERPIKIR DEDUKSI GEOMETRI DARI VAN HIELE)." Jurnal Pengajaran Matematika dan Ilmu Pengetahuan Alam 18, no. 1 (2013): 16. http://dx.doi.org/10.18269/jpmipa.v18i1.207.
Full textPutra, Anom Surya. "Wacana Constitutional Questions dalam Situs Mahkamah: Konteks e-Deliberative Democracy." Jurnal Konstitusi 7, no. 4 (2016): 061. http://dx.doi.org/10.31078/jk744.
Full textHutami, Wulandari Putri, and Itok Dwi Kurniawan. "PROBLEMATIKA PELAKSANAAN PUTUSAN PENGADILAN PADA KASUS TINDAK PIDANA ANAK DI KEJAKSAAN NEGERI SURAKARTA." Verstek 10, no. 3 (2023): 587. http://dx.doi.org/10.20961/jv.v10i3.70243.
Full textSugiarti, Sugiarti. "UPAYA MENINGKATKAN KETERAMPILAN MENULIS PARAGRAF DEDUKTIF MELALUI PENERAPAN METODE GROUP INVESTIGATION SISWA KELAS VIII MTs NU UMBUL SARI KABUPATEN OKU TIMUR." Seulas Pinang: Jurnal Pendidikan Bahasa dan Sastra 1, no. 1 (2019): 1–8. http://dx.doi.org/10.30599/spbs.v1i1.525.
Full textLarsen, Steen Nepper. "Virkelighedens rent begrebslogiske deduktion." Slagmark - Tidsskrift for idéhistorie, no. 26 (February 4, 2018): 161–64. http://dx.doi.org/10.7146/sl.v0i26.103847.
Full textLang, Stefan. "Fichtes Deduktion praktischer Spontaneität." Archiv für Geschichte der Philosophie 95, no. 1 (2013): 65–86. http://dx.doi.org/10.1515/agph-2013-0003.
Full textKharimah, Ilmi Mamruatul, Titik Sugiarti, Susanto Susanto, Toto Bara Setiawan, Didik Sugeng Pambudi, and Tutut Triningsih. "Proses Berpikir Siswa SMA Level Deduksi Informal dalam Menyelesaikan Soal Dimensi Tiga menurut Tahapan Wallas." Journal of Mathematics Education and Learning 1, no. 2 (2021): 116. http://dx.doi.org/10.19184/jomeal.v1i2.24247.
Full textWulan Nari, Olvi, Abudarin, and Karelius. "Pemahaman Konsep Tata Nama Senyawa Biner Dan Poliatomik Pasca Pembelajaran Menggunakan LKS-Deduktif Dan LKS-Induktif Pada Siswa Kelas X SMA Negeri 2 Palangka Raya Tahun Ajaran 2018/2019." Jurnal Ilmiah Kanderang Tingang 10, no. 2 (2019): 149–60. http://dx.doi.org/10.37304/jikt.v10i2.29.
Full textHasanah, Baiq Nuriati, and Didik Suhendar. "Pembelajaran Keterampilan Menulis Paragraf Induktif Berbasis Paragraf Deduktif Menggunakan Bahan Ajar Pengayaan." Jurnal Pembelajaran Bahasa dan Sastra 3, no. 5 (2024): 693–700. http://dx.doi.org/10.55909/jpbs.v3i5.639.
Full textNike K, Maria Theresia. "PENALARAN DEDUKTIF DAN INDUKTIF SISWA DALAM PEMECAHAN MASALAH TRIGONOMETRI DITINJAU DARI TINGKAT IQ." APOTEMA : Jurnal Program Studi Pendidikan Matematika 1, no. 2 (2015): 67–75. http://dx.doi.org/10.31597/ja.v1i2.155.
Full textTrimulyani, Laeli, Isnani, and M. Shaefur Rokhman. "Efektifitas Model Pembelajaran Problem Posing Dengan Pendekatan Deduktif Terhadap Aktivitas Dan Prestasi Belajar Matematika." Integral (Jurnal Penelitian Pendidikan Matematika) 2, no. 2 (2020): 125–31. http://dx.doi.org/10.24905/jppm.v2i2.41.
Full textSI «SISJ NAMS Ukraine», Staff of. "Ninel Vasylivna Dedukh." ORTHOPAEDICS, TRAUMATOLOGY and PROSTHETICS, no. 2 (August 20, 2013): 93. http://dx.doi.org/10.15674/0030-59872013293-94.
Full textSalim, Salim, and Hendra Nelva Saputra. "Pengembangan Perangkat Pembelajaran Melalui Lesson Study Dengan Strategi Pembelajaran Siklus Belajar Hipotesis Deduktif." Jurnal Amal Pendidikan 3, no. 1 (2022): 87. http://dx.doi.org/10.36709/japend.v3i1.25738.
Full textSamiwahyuni. "Peningkatan Keterampilan Menulis Paragraf Deduktif Topik Matematika melalui Metode Model Menggunakan LKPD." Jurnal Pembelajaran Bahasa dan Sastra 2, no. 3 (2023): 281–92. http://dx.doi.org/10.55909/jpbs.v2i3.270.
Full textMellmann, Katja. "Monokauzalitás és pszeudointencionalitás." nCOGNITO - Kognitív Kultúraelméleti Közlemények 2, no. 1 (2023): 5–34. http://dx.doi.org/10.14232/ncognito/2023.2.5-34.
Full textHr, Bq Malikah. "Kemampuan Penalaran Deduktif Matematis Siswa Melalui Modeling The Way." Media Pendidikan Matematika 8, no. 1 (2020): 87. http://dx.doi.org/10.33394/mpm.v8i1.2576.
Full textRitonga, Ade Muhammad. "Signifikansi Metode Deduktif dan Induktif dalam Pembelajaran Ilmu Nahu." MODELING: Jurnal Program Studi PGMI 11, no. 2 (2024): 124–34. http://dx.doi.org/10.69896/modeling.v11i2.2385.
Full textNierlich, Edmund. "Die deduktiv-nomologische Erklärung als hauptmotiv empirisch-wissenschaftlicher tätigkeit." Erkenntnis 29, no. 1 (1988): 1–33. http://dx.doi.org/10.1007/bf00166364.
Full textWijayanti, Dwi Antari, and Pinta Deniyanti. "Pengaruh Penerapan Model Pembelajaran Means Ends Analysis terhadap Kemampuan Menalar Deduktif Mahasiswa ditinjau dari Kemampuan Awal Representasi Matematis." Journal of Medives : Journal of Mathematics Education IKIP Veteran Semarang 4, no. 1 (2020): 151. http://dx.doi.org/10.31331/medivesveteran.v4i1.899.
Full textSaputra, Edy, and Rahmy Zulmaulida. "Analisis Kemampuan Penalaran Deduktif Siswa pada Pembelajaran Creative Problem Solving (CPS)." Suska Journal of Mathematics Education 7, no. 2 (2021): 113. http://dx.doi.org/10.24014/sjme.v7i2.14788.
Full textBoullart, Karel. "De Deductie van het tragische." Documenta 6, no. 1 (2019): 17–33. http://dx.doi.org/10.21825/doc.v6i1.10974.
Full textKubo, Yoichi. "Transformation der Deduktion der Kategorien." Fichte Studien 21, no. 1 (2003): 73–87. https://doi.org/10.1163/18795811-0210108.
Full textSuryani Lukman, Hamidah, and Yanti Mulyanti. "ANALISIS VALIDITAS BAHAN AJAR STRUKTUR ALJABAR BERBASIS STRATEGI ABDUKTIF-DEDUKTIF." M A T H L I N E : Jurnal Matematika dan Pendidikan Matematika 2, no. 2 (2017): 159–66. http://dx.doi.org/10.31943/mathline.v2i2.43.
Full textShodikin, Ali. "Strategi Abduktif-Deduktif Pada Pembelajaran Matematika Dalam Peningkatan Disposisi Siswa." MADRASAH 7, no. 2 (2016): 22. http://dx.doi.org/10.18860/jt.v7i2.3321.
Full textPutra, Yogi Arnaldo, Mardepi Saputra, Muhammad Fakhrur Rozi, and Niko Zulni Pratama. "Pengaruh Metode Induktif Dan Metode Deduktif Terhadap Kemampuan Motorik Siswa." Wahana Didaktika : Jurnal Ilmu Kependidikan 21, no. 3 (2023): 545–58. http://dx.doi.org/10.31851/wahanadidaktika.v21i3.11829.
Full textPelipa, Emilia Dewiwati, and Anna Marganingsih. "PENGARUH PENDEKATAN DEDUKTIF TERHADAP HASIL BELAJAR MAHASISWA PRODI PENDIDIKAN EKONOMI." Jurnal Pendidikan Ekonomi (JURKAMI) 7, no. 3 (2022): 456–64. http://dx.doi.org/10.31932/jpe.v7i3.1584.
Full textNasution, Eline Yanty Putri, Ayu Dasmina, and Selvia Erita. "Strategi Abduktif-Deduktif Untuk Meningkatkan Kemampuan Pemecahan Masalah Matematis Siswa." Venn: Journal of Sustainable Innovation on Education, Mathematics and Natural Sciences 1, no. 1 (2022): 13–20. http://dx.doi.org/10.53696/2964-867x.55.
Full textSumiati and Jefri Afandi. "Pembelajaran Menulis Paragraf Induktif Berbasis Paragraf Deduktif menurut Menggunakan Pendekatan Ganda melalui Bahan Ajar Khusus." Jurnal Pembelajaran Bahasa dan Sastra 4, no. 1 (2025): 117–24. https://doi.org/10.55909/jpbs.v4i1.681.
Full textGörög, Mihály. "Induktív vs. deduktív kutatási közelítésmód a menedzsmenttudományban: előnyök és hátrányok, lehetőségek a deduktív közelítésmód alkalmazására." Magyar Tudomány 186, no. 2 (2025): 360–69. https://doi.org/10.1556/2065.186.2025.2.16.
Full textGunawan Barutu, Indra, Abudarin, and Nopriawan Berkat Asi. "Perbedaan Penguasaan Konsep Kerja Larutan Penyangga Hasil Pembelajaran Menggunakan LKS-Induktif Dan LKS-Deduktif Pada Siswa Kelas XI MIPA SMA Negeri 2 Palangka Raya Tahun Ajaran 2018/2019." Jurnal Ilmiah Kanderang Tingang 10, no. 2 (2019): 161–74. http://dx.doi.org/10.37304/jikt.v10i2.30.
Full textAulia, Nurlaely, Zaini Abdul Bahza, and Goziyah Goziyah. "JENIS PARAGRAF DALAM SURAT KABAR ONLINE CNN INDONESIA BERTEMA VIRUS CORONA." Jurnal Sasindo UNPAM 8, no. 1 (2020): 1. http://dx.doi.org/10.32493/sasindo.v8i1.1-11.
Full textSumantri, Agus, Ashinta Sekar Bidari, and Novita Alfiani. "PERTIMBANGAN HAKIM TERHADAP KETENTUAN HUKUM ATAS PENCABUTAN KETERANGAN TERDAKWA (Studi Putusan Pengadilan Negeri Sragen No. 199/Pid.Sus/2019/PN.Srg)." RECHTSTAAT NIEUW: Jurnal Ilmu Hukum 6, no. 1 (2021): 29–42. http://dx.doi.org/10.52429/rn.v6i1.88.
Full text-, Yuli Darwati. "OKSIDENTALISME DALAM BUKU SUFI HEALING, TERAPI DENGAN METODE TASAWUF KARYA M. AMIN SYUKUR." Jurnal Ilmiah Spiritualis: Jurnal Pemikiran Islam dan Tasawuf 10, no. 2 (2024): 441–59. http://dx.doi.org/10.53429/spiritualis.v10i2.866.
Full textMalherbe, Michel. "Bacon et la deductio ad praxin." Revue philosophique de la France et de l'étranger 128, no. 1 (2003): 7. http://dx.doi.org/10.3917/rphi.031.0007.
Full text