| 書目名稱 | Fundamentals of Computation Theory |
| 副標題 | International Confer |
| 編輯 | Lothar Budach,Rais Gati? Bukharajev,Oleg Borisovi? |
| 視頻video | http://file.papertrans.cn/351/350195/350195.mp4 |
| 叢書名稱 | Lecture Notes in Computer Science |
| 圖書封面 |  |
| 描述 | This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT ‘87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT ‘87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented. |
| 出版日期 | Conference proceedings 1987 |
| 關鍵詞 | Algebra of Logic; Alphabet; Boolean function; Boolean variable; Resolution; Variable; algorithms; automata; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-18740-5 |
| isbn_softcover | 978-3-540-18740-0 |
| isbn_ebook | 978-3-540-48138-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1987 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 02:00
發(fā)表于 2025-3-21 19:33:58
