Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987 Proceedings /

Saved in:
Bibliographic Details
Meeting name:International FCT-Conference (6th : 1987 : Kazanʹ, R.S.F.S.R.)
Imprint:Berlin, Heidelberg : Springer-Verlag, 1987.
Description:1 online resource : v.: digital.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 278
Lecture notes in computer science ; 278.
Subject:Computer science.
Computer software.
Combinatorial analysis.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Models and Principles.
Combinatorial analysis.
Computer science.
Computer software.
Electronic books.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11078110
Hidden Bibliographic Details
Other authors / contributors:Budach, L. (Lothar), 1935-
Bukharaev, Rais Gatich
Lupanov, O. B.
ISBN:9783540481386
3540481389
9783540187400
Summary: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.
LEADER 03770cam a2200541Mi 4500
001 11078110
005 20170630044538.3
006 m o d
007 cr nn|008mamaa
008 100729s1987 gw o 100 0 eng d
003 ICU
040 |a KIJ  |b eng  |e pn  |c KIJ  |d OCLCO  |d SINTU  |d GW5XE  |d OCLCF  |d ITD  |d OCLCQ 
020 |a 9783540481386  |q (electronic bk.) 
020 |a 3540481389  |q (electronic bk.) 
020 |z 9783540187400 
035 |a (OCoLC)827360406 
050 4 |a QA75.5-76.95 
049 |a MAIN 
111 2 |a International FCT-Conference  |n (6th :  |d 1987 :  |c Kazanʹ, R.S.F.S.R.) 
245 1 0 |a Fundamentals of Computation Theory :  |b International Conference FCT '87 Kazan, USSR, June 22-26, 1987 Proceedings /  |c edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov. 
260 |a Berlin, Heidelberg :  |b Springer-Verlag,  |c 1987. 
300 |a 1 online resource :  |b v.: digital. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 278 
520 |a 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. 
650 0 |a Computer science.  |0 http://id.loc.gov/authorities/subjects/sh89003285 
650 0 |a Computer software.  |0 http://id.loc.gov/authorities/subjects/sh85029534 
650 0 |a Combinatorial analysis.  |0 http://id.loc.gov/authorities/subjects/sh85028802 
650 1 4 |a Computer Science. 
650 2 4 |a Computation by Abstract Devices. 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Models and Principles. 
650 7 |a Combinatorial analysis.  |2 fast  |0 (OCoLC)fst00868961 
650 7 |a Computer science.  |2 fast  |0 (OCoLC)fst00872451 
650 7 |a Computer software.  |2 fast  |0 (OCoLC)fst00872527 
655 4 |a Electronic books. 
700 1 |a Budach, L.  |q (Lothar),  |d 1935-  |0 http://id.loc.gov/authorities/names/n79113103  |1 http://viaf.org/viaf/30040166 
700 1 |a Bukharaev, Rais Gatich  |0 http://id.loc.gov/authorities/names/n80027234  |1 http://viaf.org/viaf/109422393 
700 1 |a Lupanov, O. B.  |0 http://id.loc.gov/authorities/names/n87914595  |1 http://viaf.org/viaf/45409506 
830 0 |a Lecture notes in computer science ;  |v 278.  |x 0302-9743 
856 4 0 |u http://link.springer.com/10.1007/3-540-18740-5  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i 5cdf0d49-67f0-5490-ba53-9f15c333a613  |s 13d6a64f-2d9f-5bb6-a2eb-f8ec320f67c4 
928 |t Library of Congress classification  |a QA75.5-76.95  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/3-540-18740-5  |z SpringerLink  |g ebooks  |i 9888307