Franz Baader's Books

Introduction to Description Logic

By: Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Introduction to Description Logic

By: Franz Baader,Ian Horrocks,Carsten Lutz,Uli Sattler

The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

264

Publisher

Cambridge University Press

Published Date

ISBN 10

0521873614

ISBN 13

9780521873611

Term Rewriting and All That

By: Franz Baader,Tobias Nipkow

Write a review Read reviews Take a Quiz Solve Book Puzzle

This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

318

Publisher

Cambridge University Press

Published Date

ISBN 10

1316101797

ISBN 13

9781316101797

European Foundations of the Welfare State

By: Franz-Xaver Kaufmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

European Foundations of the Welfare State

By: Franz-Xaver Kaufmann

While social welfare programs, often inspired by international organizations, are spreading throughout the world, the more far-reaching notion of governmental responsibility for the basic well-being of all members of a political society is not, although it remains a feature of Europe and the former British Commonwealth. The welfare state in the European sense is not simply an administrative arrangement of various measures of social protection but a political project embedded in distinct cultural traditions. Offering the first accessible account in English of the historical development of the European idea of the welfare state, this book reviews the intellectual foundations which underpinned the road towards the European welfare state, formulates some basic concepts for its understanding, and highlights the differences in the underlying structural and philosophical conditions between continental Europe and the English-speaking world.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

407

Publisher

Berghahn Books

Published Date

ISBN 10

0857454765

ISBN 13

9780857454768

Clark's Foreign Theological Library

Vol. XIII.

By: Franz Delitzsch

Write a review Read reviews Take a Quiz Solve Book Puzzle

Clark's Foreign Theological Library

Vol. XIII.

By: Franz Delitzsch

Reprint of the original, first published in 1867.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

622

Publisher

BoD – Books on Demand

Published Date

ISBN 10

3752521120

ISBN 13

9783752521122

Projection and Re-collection in Jungian Psychology

Reflections of the Soul

By: Marie-Luise von Franz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Projection and Re-collection in Jungian Psychology

Reflections of the Soul

By: Marie-Luise von Franz

Marie Louise von Franz's Projection and Re-Collection is thorough in its wide-ranging exploration as both a map and a guide to the recognition and reclaiming of projection. Von Franz skillfully brings theory to life as she builds on and further develops C.G. Jung's research on projection". -- Julia Jewett Jungian Analyst "The book is stimulating in going to the core of psychotherapeutic work, and invites a response from psychotherapists in general and from Jungian analysts in particular". -- San Francisco Jung Institute Library Journal

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

272

Publisher

Open Court Publishing

Published Date

ISBN 10

0875484174

ISBN 13

9780875484174

Mies Van Der Rohe

A Critical Biography

By: Franz Schulze,Mies van der Rohe Archive

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mies Van Der Rohe

A Critical Biography

By: Franz Schulze,Mies van der Rohe Archive

Critical biography of one of the twentieth centuries most illustrious architects.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

384

Publisher

University of Chicago Press

Published Date

ISBN 10

0226740609

ISBN 13

9780226740607

Thinking About Social Policy

The German Tradition

By: Franz-Xaver Kaufmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Thinking About Social Policy

The German Tradition

By: Franz-Xaver Kaufmann

The book traces the political history of the concept of social policy. „Social policy“ originated in Germany in the mid 19th century as a scholarly term that made a career in politics. The term became more prominent only after World War II. Kaufmann, the doyen of the sociology of social policy in Germany, argues that „social policy“ responds to the modern disjunction between “state” and “society” diagnosed by the German philosopher Hegel. Hegel’s disciple Lorenz von Stein saw social policy as a means to pacify the capitalist class conflict. After World War II, social policy expanded in an unprecedented way, changing its character in the process. Social policy turned from class politics into a policy for the whole population, with new concepts – like "social security", "redistribution" and "quality of life" - and new overarching formulas, "social market economy" and "social state" (the German version of “welfare state”). Both formulas have remained indeterminate and contested, indicating the inherent openness of the idea of the “social”.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

172

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642195016

ISBN 13

9783642195013

Early American Railroads

Franz Anton Ritter von Gerstner’s ‘Die innern Communicationen’1842-1843

By: Franz Anton Ritter von Gerstner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Early American Railroads

Franz Anton Ritter von Gerstner’s ‘Die innern Communicationen’1842-1843

By: Franz Anton Ritter von Gerstner

The first English translation of the most comprehensive and detailed work on the development, construction, finance, and operation of early American railroads and canals.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

908

Publisher

Stanford University Press

Published Date

ISBN 10

0804724237

ISBN 13

9780804724234

The Humorless Ladies of Border Control

Touring the Punk Underground from Belgrade to Ulaanbaatar

By: Franz Nicolay

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Humorless Ladies of Border Control

Touring the Punk Underground from Belgrade to Ulaanbaatar

By: Franz Nicolay

In 2009, musician Franz Nicolay left his job in the Hold Steady, aka "the world's greatest bar band." Over the next five years, he crossed the world with a guitar in one hand, a banjo in the other, and an accordion on his back, playing the anarcho-leftist squats and DIY spaces of the punk rock diaspora. He meets Polish artists nostalgic for their revolutionary days, Mongolian neo-Nazis in full SS regalia, and a gay expat in Ulaanbaatar who needs an armed escort between his home and his job. The Russian punk scene is thrust onto the international stage with the furor surrounding the arrest of the group Pussy Riot, and Ukrainians find themselves in the midst of a revolution and then a full-blown war.> While engaging with the works of literary predecessors from Rebecca West to Chekhov and the nineteenth-century French aristocrat the Marquis de Custine, Nicolay explores the past and future of punk rock culture in the postcommunist world in the kind of book a punk rock Paul Theroux might have written, with a humor reminiscent of Gary Shteyngart. An audacious debut from a vivid new voice, The Humorless Ladies of Border Control is an unforgettable, funny, and sharply drawn depiction of surprisingly robust hidden spaces tucked within faraway lands.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

263

Publisher

New Press, The

Published Date

ISBN 10

1620971801

ISBN 13

9781620971802

The Literature of Germany

From its Earliest Period to the Present Time

By: Franz Thimm

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Literature of Germany

From its Earliest Period to the Present Time

By: Franz Thimm

Reprint of the original, first published in 1866.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

270

Publisher

BoD – Books on Demand

Published Date

ISBN 10

3752563281

ISBN 13

9783752563283

Philosophical and Theological Writings

By: Franz Rosenzweig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Philosophical and Theological Writings

By: Franz Rosenzweig

This volume brings together Rosenzweig's central essays on theology and philosophy, including two works available for the first time in English: the conclusion to Rosenzweig's book Hegel and the State, and Rosenzweig's famous letter to Rudolph Ehrenberg known as the Urzelle of the Star of Redemption, an essential work for understanding Rosenzweig, Weimar theology and philosophy, and German idealism and the existential reaction of the period. Additional selections are presented in new or revised translations. Introduction and notes by Franks and Morgan set Rosenzweig's works in context and illuminate his role as one of the key thinkers of the period.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

182

Publisher

Hackett Publishing

Published Date

ISBN 10

0872204723

ISBN 13

9780872204720

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

By: Franz Baader

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

By: Franz Baader

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

512

Publisher

Springer

Published Date

ISBN 10

3662188228

ISBN 13

9783662188224

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

By: F. Baader,K.U. Schulz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Frontiers of Combining Systems

First International Workshop, Munich, March 1996

By: F. Baader,K.U. Schulz

- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more developed regions, there are a high number of organs which are not utilized. This is true for heart, liver and lungs. Small waiting lists for these organs probably reflect an inadequate economic coverage for these organ transplant activities. - There is a long waiting list for cadaveric kidney transplants, which reflect poor procurement and transplant activity. - Lack of awareness by many physicians leads to the denouncing of brain deaths. In spite of these factors, we can say that there has been a significant growth in organ procuration and transplantation in 1993, after the regionalization of the INCUCAI. Conclusions Is there a shortage of organs in Argentina? There may be. But the situation in Argentina differs from that in Europe, as we have a pool of organs which are not utilized (donation refusal, operational deficits, lack of denouncing of brain deaths). Perhaps, in the future, when we are able to make good use of all the organs submitted for transplantation, we will be able to say objectively whether the number of organs is sufficient or not. Acknowledgements I would like to thank the University of Lyon and the Merieux Foundation, especially Professors Traeger, Touraine and Dr. Dupuy for the honour of being invited to talk about the issue of organ procurement.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

412

Publisher

Springer

Published Date

ISBN 10

0792342712

ISBN 13

9780792342717

Book's by Franz Baader

Introduction to Description Logic

Introduction to Description Logic

Term Rewriting and All That

Term Rewriting and All That

European Foundations of the Welfare State

European Foundations of the Welfare State

Clark's Foreign Theological Library

Clark's Foreign Theological Library

Projection and Re-collection in Jungian Psychology

Projection and Re-collection in Jungian Psychology

Mies Van Der Rohe

Mies Van Der Rohe

Thinking About Social Policy

Thinking About Social Policy

Early American Railroads

Early American Railroads

The Humorless Ladies of Border Control

The Humorless Ladies of Border Control

The Literature of Germany

The Literature of Germany

Philosophical and Theological Writings

Philosophical and Theological Writings

Automated Deduction - CADE-19

Automated Deduction - CADE-19

Frontiers of Combining Systems

Frontiers of Combining Systems

Username

Password

Username

Password

Password again

Birthday

Email