Logic, algebra, and computation
著者
書誌事項
Logic, algebra, and computation
(NATO ASI series, ser. F . Computer and system sciences ; v. 79)
Springer-Verlag, c1991
- : Berlin
- : New York
大学図書館所蔵 件 / 全36件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"International summer school directed by F.L. Bauer ... [et al.]"
"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989"--T.p. verso
内容説明・目次
内容説明
The Marktoberdorf Summer Schools on Informatics were started in 1970 as Advanced Study Institutes under the sponsorship of NATO. At the schools, groups of top researchers in computing present their most recent results to an elite of advanced students and face their questions, criticism and suggestions. This volume presents the proceedings of the tenth Marktoberdorf Summer School, with the theme Logic, Algebra, and Computation. The volume has a message: applied logic is programming, programming is applied logic, and computation is a common concern of logic and mathematics. The volume contains ten papers, on computation and specification over abstract data types, deductive program synthesis, resolution, the pure lambda-calculus, normalization, logical and recursive complexity, the computation system of constructive type theory, modal logic, concurrency and concurrent logic programming languages.
「Nielsen BookData」 より