CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Michal Zawidzki

2 cilt bulundu.

Cilt sonuçları

Ewa Orłowska on Relational Methods in Logic and Computer Science

Ewa Orłowska on Relational Methods in Logic and Computer Science

Joanna Golińska-Pilarek, Michał Zawidzki · Springer

520 sayfa · 2018

Computer science

Deductive databasesDeductive Systems and the Decidability Problem for Hybrid LogicsMichal Zawidzki

Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki · Columbia University Press

232 sayfa · 2014

Logic, symbolic and mathematical / Deductive databases