A Proof Theory for Description Logics
- ISBN
- 9781447140023
A Proof Theory for Description Logics, Alexandre Rademaker tarafından yazılmış bir mathematical logic and formal languages, mathematics of computing book.
Alexandre Rademaker tarafından yazılan A Proof Theory for Description Logics kitabını keşfedin, mathematical logic and formal languages.
Yazar Hakkında
A Proof Theory for Description Logics kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da Alexandre Rademaker adlı yazarın diğer kitaplarını keşfedin. →Baskılar ve Formatlar
Yorumlar
Henüz yorum yok. Bu kitabı okudunuz mu? Düşüncelerinizi Booklogr topluluğuyla paylaşın.
Giriş yap Yorum yazmak için giriş yapın
Sıkça Sorulan Sorular
A Proof Theory for Description Logics hangi türde?+
A Proof Theory for Description Logics bir Mathematical Logic and Formal Languages, Mathematics of Computing, Computer science kitabıdır.
A Proof Theory for Description Logics kitabını kim yazdı?+
A Proof Theory for Description Logics, Alexandre Rademaker tarafından yazılmıştır.