Computational aspects of an order-sorted logic with term declarations
- ISBN
- 0387517057
Computational aspects of an order-sorted logic with term declarations, M. Schmidt-Schauss tarafından yazılmış bir sorting, symbolic and mathematical logic book.
M. Schmidt-Schauss tarafından yazılan Computational aspects of an order-sorted logic with term declarations kitabını keşfedin, sorting.
Yazar Hakkında
M. Schmidt-Schauss Computational aspects of an order-sorted logic with term declarations kitabının yazarıdır. Booklogr'da tüm eserlerini 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
Computational aspects of an order-sorted logic with term declarations hangi türde?+
Computational aspects of an order-sorted logic with term declarations bir Sorting, Symbolic and mathematical Logic kitabıdır.
Computational aspects of an order-sorted logic with term declarations kitabını kim yazdı?+
Computational aspects of an order-sorted logic with term declarations, M. Schmidt-Schauss tarafından yazılmıştır.