+612 9045 4394
 
CHECKOUT
Computational Aspects of an Order-Sorted Logic with Term Declarations : Lecture Notes in Computer Science - Manfred Schmidt-Schaus

Computational Aspects of an Order-Sorted Logic with Term Declarations

Lecture Notes in Computer Science

Paperback

Published: 20th September 1989
Ships: 5 to 9 business days
5 to 9 business days
$74.91

Die steigende Zahl von Publikationen und internationalen Kongressen über die schizoaffektiven Psychosen waren Anlaß, dieses Thema erstmalig ausführlich und umfassend in Buchform darzustellen. Namhafte Wissenschaftler aus dem In- und Ausland vermitteln praktische, klinisch relevante Informationen über die Diagnose, den Verlauf, die Therapie und die Prophylaxe der schizoaffektiven Psychosen. Angesprochen werden auch genetische und soziale Aspekte sowie Zukunftsperspektiven.

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

ISBN: 9783540517054
ISBN-10: 3540517057
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 174
Published: 20th September 1989
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 0.99
Weight (kg): 0.27