رکورد قبلیرکورد بعدی

" Descriptional complexity of formal systems : "


Document Type : BL
Record Number : 862495
Main Entry : DCFS (Workshop)(21st :2019 :, Košice, Slovakia.)
Title & Author : Descriptional complexity of formal systems : : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, proceedings /\ edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Publication Statement : Cham, Switzerland :: Springer,, 2019.
: , ©2019
Series Statement : Lectures notes in computer science ;; 11612
: Theoretical Computer Science and General Issues
Page. NO : 1 online resource (x, 299 pages) :: illustrations
ISBN : 3030232468
: : 3030232476
: : 3030232484
: : 9783030232467
: : 9783030232474
: : 9783030232481
: 9783030232467
Bibliographies/Indexes : Includes bibliographical references and author index.
Abstract : This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. --
Subject : Artificial intelligence.
Subject : Computer science.
Subject : Formal methods (Computer science), Congresses.
Subject : Logic design.
Subject : Artificial intelligence.
Subject : Computer science.
Subject : Formal methods (Computer science)
Subject : Logic design.
Dewey Classification : ‭005.1015113‬
LC Classification : ‭QA76.5913‬
: ‭QA76.63‬
: ‭QA76.9.L63‬‭D34 2019‬
Added Entry : Hospodár, Michal, (Computer scientist)
: Jirásková, Galina
: Konstantinidis, Stavros
Parallel Title : DCFS 2019
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟