Logical Foundations Of Computer Science

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

International Symposium, Lfcs 2009, Deerfield Beach, Fl, Usa, January 3 6, 2009, Proceedings (Lecture Notes In ... Computer Science And General Issues)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

International Symposium, Lfcs 2009, Deerfield Beach, Fl, Usa, January 3 6, 2009, Proceedings (Lecture Notes In ... Computer Science And General Issues)

The Symposium on Logical Foundations of Computer Science series provides a forum for the fast-growing body of work in the logical foundations of computer science, e.g., those areas of fundamental theoretical logic related to computer science. The LFCS series began with "Logic at Botik," Pereslavl-Zalessky,1989, which was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver). After that, organization passed to Anil Nerode. Currently LFCS is governed by a Steering Committee consisting of Anil Nerode (General Chair), Stephen Cook, Dirk van Dalen, Yuri Matiyasevich, John McCarthy, J. Alan Robinson, Gerald Sacks, and Dana Scott. The 2009 Symposium on Logical Foundations of Computer Science (LFCS 2009) took place in Howard Johnson Plaza Resort, Deer?eld Beach, Florida, USA, during January 3-6. This volume contains the extended abstracts of talks selected by the Program Committee for presentation at LFCS 2009. The scope of the symposium is broad and contains constructive mathematics and type theory; automata and automatic structures; computability and r- domness; logical foundations of programming; logical aspects of computational complexity; logic programmingand constraints;automated deduction and int- active theorem proving; logical methods in protocol and program veri?cation; logical methods in program speci?cation and extraction; domain theory l- ics; logical foundations of database theory; equational logic and term rewriting; lambda andcombinatorycalculi;categoricallogicandtopologicalsemantics;l- ear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justi?cation; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics;

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2009

نویسنده

Anil Nerode

ناشر

Springer

شابک

9783540926863

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Logical Foundations Of Computer Science

Logical Foundations Of Computer Science

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2009

نویسنده

ناشر

شابک

کتاب های مرتبط

Statistical spoken language understanding systems

Computational Intelligence Applications in Smart Grids

Computational Intelligence in Fault Diagnosis

Intelligent Computing Everywhere

Semi-Supervised and Unervised Machine Learning

Autonomic Nervous System Dynamics for Mood and Emotional-State Recognition : Significant Advances in Data Acquisition, Signal Processing and Classification

Pocket Data Mining : Big Data on Small Devices

Complex systems design & management : proceedings of the fourth International conference on complex systems design & management, CSD&M 2013

Knowledge and Systems Engineering : Proceedings of the Fifth International Conference KSE 2013, Volume 2

Social networks : a framework of computational intelligence

ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of India- Vol II : Hosted by CSI Vishakapatnam Chapter

Innovative computational intelligence: a rough guide to 134 clever algorithms

A Brief Introduction to Continuous Evolutionary Optimization

Advance trends in soft computing : proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA

Human Paleoneurology

Modern Approaches to Agent-based Complex Automated Negotiation

Glowworm Swarm Optimization Theory, Algorithms, and Applications

Thriving Rough Sets : 10th Anniversary - Honoring Professor Zdzisław Pawlak's Life and Legacy & 35 Years of Rough Sets

Proceeding of International Conference on Intelligent Communication, Control and Devices : ICICCD 2016

Advances in Computational Intelligence Proceedings of International Conference on Computational Intelligence 2015

Chaos modeling and control systems design

دیدگاه کاربران