Computation Theory and Logic

Author: Egon Börger

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 442

View: 343

In Memory of Dieter Rötting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His Birth

International Mathematical News

Nouvelles Mathématiques Internationales; Internationale Mathematische Nachrichten

Author:

Publisher:

ISBN:

Category: Education

Page:

View: 853

Issues for Dec. 1952- include section: Nachrichten der Österreichischen Mathematischen Gesellschaft.

Formal Concept Analysis

Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

Author: Bernhard Ganter

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 416

View: 215

This book constitutes the refereed proceedings of the Third International Conference on Formal Concept Analysis, ICFCA 2005, held in Lens, France in February 2005. The 28 revised full papers presented together with an invited paper were carefully reviewed and selected for inclusion in the book. The papers reflect both progress in the foundational theory of formal concept analysis and its practical applications; algorithmic aspects are discussed as well as efforts to broaden the field.

The Classical Decision Problem

Author: Egon Börger

Publisher: Springer Science & Business Media

ISBN:

Category: Mathematics

Page: 482

View: 680

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

GWAI-83

7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983

Author: B. de Neumann

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 240

View: 531

Theoretical Computer Science

3rd GI Conference Darmstadt, March 28-30, 1977

Author: H. Tzschach

Publisher: Springer

ISBN:

Category: Computers

Page: 428

View: 897