Descriptive Complexity and Finite Models: Proceedings of a DIMACS Workshop, January 14-17, 1996, Princeton University
Neil Immerman · Phokion Kolaitis
فروردین ۱۹۹۷ · Center for Discrete Mathematics and Theoretical Computer Science New Brunswick, NJ: DIMACS series in discrete mathematics and theoretical computer scienceکتاب 31 · American Mathematical Soc.
ای-کتاب
248
صفحهها
نمونه
reportردهبندیها و مرورها بهتأیید نمیرسند. بیشتر بدانید
درباره این ای-کتاب
This volume presents articles by leading researchers who delivered talks at the "Workshop on Finite Models and Descriptive Complexity" at Princeton in January 1996 during a DIMACS sponsored Special Year on Logic and Algorithms. Each article is self-contained and provides a valuable introduction to the featured research areas connected with finite model theory.
مجموعه
Computers en technologie
ردهبندی این کتاب الکترونیک
نظرات خود را به ما بگویید.
اطلاعات مطالعه
تلفن هوشمند و رایانه لوحی
برنامه «کتابهای Google Play» را برای Android و iPad/iPhone بارگیری کنید. بهطور خودکار با حسابتان همگامسازی میشود و به شما امکان میدهد هر کجا که هستید بهصورت آنلاین یا آفلاین بخوانید.
رایانه کیفی و رایانه
با استفاده از مرورگر وب رایانهتان میتوانید به کتابهای صوتی خریداریشده در Google Play گوش دهید.
eReaderها و دستگاههای دیگر
برای خواندن در دستگاههای جوهر الکترونیکی مانند کتابخوانهای الکترونیکی Kobo، باید فایل مدنظرتان را بارگیری و به دستگاه منتقل کنید. برای انتقال فایل به کتابخوانهای الکترونیکی پشتیبانیشده، دستورالعملهای کامل مرکز راهنمایی را دنبال کنید.