Computational Aspects of an Order-Sorted Logic with Term Declarations

Manfred Schmidt-Schauß

ISBN 10: 3540517057 / ISBN 13: 9783540517054

Published by Springer Berlin Heidelberg Sep 1989, 1989

About this Item

Neuware -Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Seller Inventory # 9783540517054

Bibliographic Details

• Title: Computational Aspects of an Order-Sorted Logic with Term Declarations
• Publisher: Springer Berlin Heidelberg Sep 1989
• Publication Date: 1989
• Language: English
• ISBN 10: 3540517057
• ISBN 13: 9783540517054
• Binding: Taschenbuch
• Condition: Neu

About this title

Synopsis

The increasing number of publications and international congresses on schizoaffective psychoses were the reason to present this topic in detail and comprehensively for the first time in book form. Well-known scientists from Germany and abroad provide practical, clinically relevant information about the diagnosis, course, therapy and prophylaxis of schizoaffective psychoses. Genetic and social aspects as well as future prospects are also addressed.