Stefan berghofer (25 resultados)

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condición: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2006.

Condición: New.

Paperback or Softback. Condición: New. Modeling and Retrieval of Context: Second International Workshop, Mrc 2005, Edinburgh, Uk, July 31-August 1, 2005, Revised Selected Papers. Book.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

PF. Condición: New.

Condición: New.

Condición: New. In English.

Condición: New. In English.

Condición: New. pp. 166.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Brand New. 1st edition. 517 pages. 9.13x6.06x1.18 inches. In Stock.

Originalbroschur. Condición: Sehr gut. 201 S. Einband berieben und fleckig. Papierbedingt gebräunt. - DAS KONSTITUENS DES WISSENSCHAFTLICHEN SOZIALISMUS Charakterisierung der Marxschen Methode -- Formulierung des wissenschaftlichen Sozialismus -- KONSTITUTIONSPROZESS DES KLASSENBEWUSSTSEINS Marxsche Theorie als wissenschaftliche Einsicht -- LUKACS' Unterscheidung von Alltagsbewußtsein und Klassenbewußtsein des Proletariats -- Rückwirkung des wissenschaftlichen Sozialismus auf den Konstitutionsprozeß des Klassenbewußtseins -- Entwicklung von Klasseninstinkt zu Klassenbewußtsein -- ZUSAMMENHANG VON ÖKONOMISCHEN FORMBESTIMMUNGEN, SOZIALEN BEZIEHUNGEN UND BEWUSSTSEINSFORMEN Mystifikation der gesellschaftlichen Verhältnisse -- Auflösungsprozeß des mystifizierten Bewußtseins -- THEORIE DER REVOLUTION Beschleunigung des revolutionären Prozesses -- Ideologische Krise -- Programm der Rückwirkung -- Konzeption revolutionärer Taktik Zusammenfassung -- WIEDERGEWINNUNG DES REVOLUTIONÄREN GEHALTS DES MARXISMUS DURCH ROSA LUXEMBURG UND LENIN. - Mitglieder des Autorenkollektivs: Joachim Bischoff, Walter Breum, Ulrich Felsberg, Hans-Robert Gath, Birgit Hentrich, Walter Hering, Ullrich Kaminiski, Peter Kolling, Bernhard Müller, Franz Sandforth, Manfred Schick, Urs Schoepflin, Dusan Tesic, Gisela Torbohm, Thomas Weden. ISBN 3879750564 Sprache: Deutsch Gewicht in Gramm: 550.…

Taschenbuch. Condición: Neu. Theorem Proving in Higher Order Logics | 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | Stefan Berghofer (u. a.) | Taschenbuch | xi | Englisch | 2009 | Springer | EAN 9783642033582 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

softcover. Condición: Sehr gut. 320 S. ISBN: 9783879750986 Sprache: Deutsch Gewicht in Gramm: 310.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers. 532 pp. Englisch.…

Condición: New. Print on Demand pp. 166 Illus.

Condición: New. PRINT ON DEMAND pp. 166.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool pres.…

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Post-proceedings of the Second International Workshop on Modeling and Retrieval of Context, MRC 2005, held in Edinburgh, UKPresents 9 revised full papers presented include extended versions of some of the papers presented at the MRC 2005 workshop.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 532 pp. Englisch.…