عنوان

Logic, Algebra, and Computation :

شابک

3642767990

شابک

3642768016

شابک

9783642767999

شابک

9783642768019

شماره

b573571

عنوان اصلي

Logic, Algebra, and Computation :

نام عام مواد

[Book]

ساير اطلاعات عنواني

International Summer School

نام نخستين پديدآور

edited by Friedrich L. Bauer.

محل نشرو پخش و غیره

Berlin, Heidelberg

نام ناشر، پخش کننده و غيره

Springer Berlin Heidelberg

تاریخ نشرو بخش و غیره

1991

نام خاص و کميت اثر

(VII, 485 pages 15 illustrations)

عنوان فروست

NATO ASI series., Series F,, Computer and systems sciences ;, 79.

متن يادداشت

Theory of Computation and Specification over Abstract Data Types, and its Applications --; Fundamentals of Deductive Program Synthesis --; Notes on Resolution --; au?-calcul pur --; Normalization --; Computability --; Logical and Recursive Complexity --; Reflecting the Open-Ended Computation System of Constructive Type Theory --; Some Lectures on Modal Logic --; Formal Approaches to Concurrency --; The Family of Concurrent Logic Programming Languages.

متن يادداشت

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.

عنوان اصلي به زبان ديگر

Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25 - August 6, 1989

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Logic design.

موضوع مستند نشده

Software engineering.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Friedrich L. Bauer.

مستند نام اشخاص تاييد نشده

Friedrich L Bauer

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y