Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes. (Lecture notes in computer science ; 25)

Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes.

(Lecture notes in computer science ; 25)

Call No. (NDL): MA67-209
Bibliographic ID of National Diet Library: 000006266231

Material type: 図書

Author: Manes, Ernest G., 1943-ほか

Publisher: Springer-Verlag

Publication date: 1975.

Material Format: Paper

Capacity, size, etc.: x, 245 p. ; 25 cm.

NDC: -

View All

Notes on use

Note (General)：: "An A.M.S. symposium within the annual meeting of the American Association for the Advancement of Science."

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 0387071423
Title: Category theory applied to computation and control : proceedings of the first international symposium, San Francisco, February 25-26, 1974 / edited by E. G. Manes.
Series Title: Lecture notes in computer science ; 25
Author Heading: Manes, Ernest G., 1943-
American Mathematical Society.
American Association for the Advancement of Science.
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: 1975.
Publication Date (W3CDTF): 1975
Extent: x, 245 p. ; 25 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Machine theory -- Congresses.
Control theory -- Congresses.
Categories (Mathematics) -- Congresses.
Ciencia Da Computacao Ou Informatica.
Teoria De Controle.
Teoria Da Computacao.
LCC: QA267
DDC: 629.8/312
NDLC: MA67
M131
Note (General): "An A.M.S. symposium within the annual meeting of the American Association for the Advancement of Science."
Note (Bibliography): Bibliography: p. [231]-245.
Holding library: 国立国会図書館
Call No.: MA67-209
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006266231
http://id.ndl.go.jp/bib/000006266231
LC Control Number: 74034481 //r85
https://lccn.loc.gov/74034481
Bibliographic Record Category (NDL): 211