Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /

Đã lưu trong:
Chi tiết về thư mục
Nhiều tác giả của công ty: Symposium on Mathematical Foundations of Computer Science (1972- ) Jadwisin, Warsaw, Poland), Polska Akademia Nauk. Centrum Obliczeniowe, International Mathematical Stefan Banach Center
Tác giả khác: Blikle, Andrzej
Định dạng: Hội nghị đang tiến hành Sách
Ngôn ngữ:English
Được phát hành: Berlin ; New York : Springer-Verlag, 1975.
Loạt:Lecture notes in computer science ; 28.
Những chủ đề:
LEADER 01609nam a2200361 a 4500
001 c000160813
003 CARM
005 19980910000000.0
008 750321s1975 wb b 100 0 eng
010 |a 75009642 //r862 
015 |a GFR*** 
019 1 |a 385465  |5 LACONCORD2021 
020 |a 0387071628 
035 |a (OCoLC)1273595  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC  |d NU 
050 0 0 |a QA267.5.S4  |b S89 1974 
082 0 4 |a 519.4 
111 2 |a Symposium on Mathematical Foundations of Computer Science (1972- )  |n (3rd :,  |d 1974 :  |c Jadwisin, Warsaw, Poland) 
245 1 0 |a Mathematical foundations of computer science :  |b 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /  |c edited by A. Blikle. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1975. 
300 |a vii, 484 p. ;  |c 25 cm. 
440 0 |a Lecture notes in computer science ;  |v 28. 
500 |a "Organized by the Computation Center of the Polish Academy of Sciences and sponsored by the International Mathematical Stefan Banach Center in Warsaw." 
504 |a Includes bibliographies. 
650 0 |a Sequential machine theory  |x Congresses. 
650 0 |a Formal languages  |x Congresses. 
650 0 |a Computer programming  |v Congresses. 
700 1 |a Blikle, Andrzej. 
710 2 |a Polska Akademia Nauk.  |b Centrum Obliczeniowe. 
710 2 |a International Mathematical Stefan Banach Center. 
852 8 |b CARM  |h A2:AL23E0  |i C05296  |p 0211853  |f BK 
999 f f |i ce60b651-a045-5b79-83ec-3b12a1f7a144  |s 98fc57ca-0401-5019-a45f-97d664469520 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05296  |f A2:AL23E0  |h Other scheme  |i book  |m 0211853