Zur Logik der Logik-Programmierung
Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: " . . ...
73,00 CHF
FRM: Ein Frame-Repräsentationsmodell und seine formale Se...
Das Buch stellt FRM vor, ein Frame-basiertes Modell zur Repräsentation von Wissen. Der Schwerpunkt liegt dabei auf der Ausarbeitung der Semantik seiner Repräsentationskonstrukte. Zur formalen Spezifikation dieser Semantik werden Integritätsbedingungen formuliert, die unzulässige, in jedem Fall bedeutungslose Repräsentationsstrukturen ausschließen. Damit wird die Basis gelegt für ein Wissensverwaltungssystem, das die Einhaltung dieser Integritätsbedingungen überwacht und somit die Gewährleistung der Validität einer ...
73,00 CHF
Bildgebende Diagnostik bei AIDS
AIDS ist die Spätfolge der HIV-Infektion und damit das Endstadium einer Krankheitsentwicklung mit sehr variablem zeitlichen Verlauf und unterschiedlichen klinischen Manifestationen. AIDS-Kranke können zerebrale, pulmonale, kardiale, gastrointestinale und abdominelle Symptome aufweisen, die zunächst - trotz grundsätzlich schlechter Prognose - durchaus einer Therapie zugänglich sind. Der bildgebenden Diagnostik kommt deshalb zur Abklärung der Befunde große Bedeutung zu. Das vorliegende Buch zeigt ...
73,00 CHF
Asymmetrische frühkindliche Kopfgelenksbeweglichkeit
Frühkindliche funktionelle Seitneigeasymmetrie in der oberen Halswirbelsäule ist altersspezifischer Ausdruck menschlicher Lateralität und Hintergrund für die Entwicklung funktioneller und morphologischer Asymmetrien in anderen Regionen des Haltungs- und Bewegungssystems. Das Buch ist die erste Longitudinalstudie über ausgewählte Asymmetrien des Haltungs- und Bewegungssystems von der Geburt bis zum 18. Lebensmonat. Sie bietet statistisch gesicherte Vergleichswerte, um Normalbefunde von pathologischen Entwicklungen abgrenzen zu ...