Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: medimops, Berlin, Alemania
Libro
Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: medimops, Berlin, Alemania
Libro
Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Publicado por Spektrum Akademischer Verlag 2000-01-20, Heidelberg, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Blackwell's, London, Reino Unido
Libro
paperback. Condición: New. Language: GER.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: New. Book is in NEW condition. 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: New. New! This book is in the same immaculate condition as when it was published 0.62.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 5th edition. 200 pages. German language. 8.19x5.83x0.47 inches. In Stock.
Publicado por Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware -Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes. 190 pp. Deutsch.
Publicado por Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware -Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes. 190 pp. Deutsch.
Publicado por Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: Wegmann1855, Zwiesel, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware -Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.
Publicado por Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Neuware - Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.
Publicado por Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Librería: moluna, Greven, Alemania
Libro
Condición: New. Gut im Markt eingefuehrtes Standardwerk, steht auf Empfehlungsliste vieler Hochschuldozenten, wird teilweise als Skript zur Vorlesung verwendet. Konzentriert sich auf die fuer Informatiker wesentlichen Teile der Logik.Gut im Markt eingefuehrtes Standard.