Authors:Matthias Baaz, Andrei Voronkov,
Publisher: Springer
Keywords: artificial, intelligence, october, georgia, proceedings, lecture, tbilisi, notes, conference, programming, reasoning, international, logic, lpar
Number of Pages: 465
Published: 2002-11-11
List price: $82.95
ISBN-10: 3540000100
ISBN-13: 9783540000105

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

Authors:Matthias Kornemann, Matthias Kornemann, Axel Fischer
Publisher: De Gruyter
Keywords: catalogue, berlin, akademie, sing, archive
Number of Pages: 773
Published: 2009-12-12
List price: $263.00
ISBN-10: 3598117981
ISBN-13: 9783598117985

A complete catalogue of the music archive of the Sing-Akademie zu Berlin is now available for the first time since the archive, which disappeared during World War II, was rediscovered in 1999. (The whole work is complete in English and German). Since 2001 the more than 260,000 pages of music manuscripts, copies and first prints (from 17th to early 19th cent.) were revised by two musicologists which compiled an index of shelf marks and an index of composers. Thus detailed searches in the holdings of the archive (which were filmed since 2002 in several parts on microfiche at K. G. Saur) are poss

Authors:Matthias Jung, Matthias Jung, Jan-Christoph Heilinge
Publisher: De Gruyter
Keywords: des, humanprojekt, interdisziplinare, german, bewusstseins, anthropologie, qualitativen, erlebens, neue, perspektiven, funktionen
Number of Pages: 434
Published: 2009-10-16
List price: $98.00
ISBN-10: 3110223716
ISBN-13: 9783110223712

Author: Johann-Matthias SchulenburgJohann-Matthias Schule
Publisher: IOS Press
Keywords: survey, biomedical, health, research, european, study, medical, services, europe, empirical, rationing
Number of Pages: 317
Published: 2004-11-30
List price: $175.00
ISBN-10: 1586034650
ISBN-13: 9781586034658

Healthcare regulations should guarantee that everybody has access to appropriate healthcare. The main goals for healthcare are: Equal access to healthcare for everyone; Cost-efficient production of health services and Cost-control of public expenditure for medical services. Especially cost-control seems to be a global problem. One of the key issues in the debate on how to improve healthcare is rationing. It is an important challenge to understand the various methods of rationing in medical care, to analyse the effects of rationing and the ways to harmonize the various rationing cultures in Eur

Authors:Matthias Brenzinger (Editor), Matthias Brenzinger,
Publisher: Mouton de Gruyter
Keywords: studies, monographs, linguistics, trends, diversity, endangered, language
Number of Pages: 454
Published: 2007-01-01
List price: $137.00
ISBN-10: 3110170493
ISBN-13: 9783110170498

This book presents a comprehensive overview of endangered languages with a global coverage. It features such well-known specialists as Michael Krauss, Willem F. H. Adelaar, Denny Moore, Colette Grinevald, Akira Yamamoto, Roger Blench, Bruce Connell, Tapani Salminen, Olga Kazakevich, Aleksandr Kibrik, Jonathan Owens, David Bradley, George van Driem, Nicholas Evans, Stephen A. Wurm, Darrell Tryon and Matthias Brenzinger. The contributions are unique in analysing the present extent and the various kinds of language endangerment by applying shared general indicators for the assessment of language

Author: Leo Matthias
Publisher: BiblioLife
Keywords: des, und, aufbaus, zusammenbruchs, gefahrelemente, geistige, wahnsinn, russland, genie, elemente
Number of Pages: 162
Published: 2009-07-17
List price: $20.75
ISBN-10: 1110991568
ISBN-13: 9781110991563

Author: Matthias Haß
Publisher: Campus Verlag
Keywords: denken, gestaltetes
Number of Pages: 405
Published: 2002-10-01
List price: unknow
ISBN-10: 3593371154
ISBN-13: 9783593371153