Zafer ÖZDEMİR

Modal Mantık için Algoritmik Tekabül

Algorithmic Correspondence for Modal Logic

Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi

2022-Cilt: 5 - Sayı: 1

401-416

Modal mantık, SCAN algoritması, SQEMA algoritması

Modal logic, Scan algortihm, Sqema algorithm

7026

Benzer Makaleler

Celal Bayar Üniversitesi Fen Bilimleri Dergisi

Aybike ÖZYÜKSEL ÇİFTÇİOĞLU, Erkan DOĞAN

TEKNİK NOTÇelik Model Köprünün Sistem Tanımlama Yöntemleri ile Modal Parametrelerinin Tahmini

Teknik Dergi

Özgür ÖZÇELİK, Merve GÜNDOĞAN, Serap KAHRAMAN

TEKNİK NOTÇelik Model Köprünün Sistem Tanımlama Yöntemleri ile Modal Parametrelerinin Tahmini

Turkish Journal of Civil Engineering

Özgür ÖZÇELİK, Merve GÜNDOĞAN, Serap KAHRAMAN

TEKNİK NOTÇelik Model Köprünün Sistem Tanımlama Yöntemleri ile Modal Parametrelerinin Tahmini

Turkish Journal of Civil Engineering

Özgür ÖZÇELİK, Merve GÜNDOĞAN, Serap KAHRAMAN

İnsansız Hava Aracında, Ataletsel Navigasyon Sistemine ait Yapısal Yerleşim Tasarımlarının Frekans Cevap Analizi ve Modal Test Metodları ile değerlendirilmesi

Journal of Aviation Research

Erkin Barış GÜNGÖR, Bilgin ÇELİK

Piyano Eğitiminde Makamsal Eserlerin Seslendirilmesinde Öğrencilerin Hazırbulunuşluk Düzeyi (Hüseyni ve Karcığar Makamları Örneği)

Gazi Üniversitesi Gazi Eğitim Fakültesi Dergisi

Çağla SERİN ÖZPARLAK, Salih AYDOĞAN

199+325 çelik demiryolu köprüsünün sistem tanımlama çalışmaları ve kalibre sonlu elemanlar modelinin oluşturulması

Pamukkale Üniversitesi Mühendislik Bilimleri Dergisi

Özgür ÖZÇELİK, Özgür GİRGİN, Carmen AMADDEO

Modal Parametre Belirleme Yöntemlerinin Karşılaştırılması ve Demiryolu Traverslerinin SISO-tipi Vibro-akustik Modal Analizlerle Tahribatsız İncelenmesi

Demiryolu Mühendisliği

Ferhat ÇEÇEN, Bekir AKTAŞ, Ahmet ÖZBAYRAK