Computational Aspects of an Order-Sorted Logic with Term Declarations

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.Schmidt-Schau¯, Manfred is the author of 'Computational Aspects of an Order-Sorted Logic with Term Declarations', published 2007 under ISBN 9783540517054 and ISBN 3540517057.