Categorical methods in computer science : with aspects from topology /

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: International Workshop on Categorical Methods in Computer Science with Aspects from Topology
Beste egile batzuk: Ehrig, Hartmut
Formatua: Conference Proceeding Liburua
Hizkuntza:English
Argitaratua: Berlin ; New York : Springer-Verlag, c1989.
Saila:Lecture notes in computer science ; 393.
Gaiak:
LEADER 01491nam a2200325 a 4500
001 c000162077
003 CARM
005 19900402000000.0
008 890828s1989 wb a b 100 0 eng
019 1 |a 6705523  |z 27561591  |5 LACONCORD2021 
020 |a 0387517227  |b (U.S.) :  |c DM52.00 (West Germany) 
020 |a 3540517227  |b (Berlin) 
035 |a (OCoLC)20353915  |5 LACONCORD2021 
040 |a LC  |b eng  |c LC 
050 0 0 |a QA75.5  |b C36 1989 
082 0 4 |a 004/.01/5113  |2 20 
245 0 0 |a Categorical methods in computer science :  |b with aspects from topology /  |c H. Ehrig ... [et al.], eds. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1989. 
300 |a vi, 350 p. :  |b ill. ;  |c 24 cm. 
440 0 |a Lecture notes in computer science ;  |v 393. 
500 |a Papers presented at the International Workshop on Categorical Methods in Computer Science with Aspects from Topology, held 1988 in Berlin. 
504 |a Includes bibliographical references. 
650 0 |a Computer science  |v Congresses. 
650 0 |a Categories (Mathematics)  |x Congresses. 
650 0 |a Topology  |x Congresses. 
700 1 |a Ehrig, Hartmut. 
711 2 |a International Workshop on Categorical Methods in Computer Science with Aspects from Topology,  |d (1988 :  |c Berlin, Germany) 
852 8 |b CARM  |h A2:AL20D0  |i C05347  |p 0213867  |f BK 
999 f f |i 4b93c949-01bb-5103-8890-212dc09e035f  |s 3efab5a1-e1e1-5dc5-8103-3d8400b50a97 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C05347  |f A2:AL20D0  |h Other scheme  |i book  |m 0213867