Logical frameworks
by G. Plotkin
- ISBN
- 0521413001
Logical frameworks, G. Plotkin tarafından yazılmış bir logic, frames book.
G. Plotkin tarafından yazılan Logical frameworks kitabını keşfedin, logic.
Yazar Hakkında
Logical frameworks kitabının yazarıdır. Booklogr'da tüm eserlerini keşfedin.
Booklogr'da G. Plotkin 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
Logical frameworks hangi türde?+
Logical frameworks bir Logic, Frames, Automatic theorem proving, Symbolic and mathematical Logic, Logic programming kitabıdır.
Logical frameworks kitabını kim yazdı?+
Logical frameworks, G. Plotkin tarafından yazılmıştır.