Logical foundations of computer science Teil: 2., Tver '92 : Tver, Russia, July 20 - 24, 1992 / Lecture notes in computer science ; Vol. 620

Nerode, Anil and Mikhail Taitslin:

ISBN 10: 3540557075 ISBN 13: 9783540557074

Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992

Sprache: Englisch

Gebraucht Softcover

F�r sp�ter vormerken

Verkauft von Roland Antiquariat UG haftungsbeschr�nkt, Weinheim, Deutschland

AbeBooks-Verk�ufer seit 12. Februar 2002

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Sonderangebot

Preis: EUR 16,92 W�hrung umrechnen

EUR 2,50 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

IX, 514 S. : graph. Darst. Edition 1992, 514 p.! Unread book. Very good condition. Slight traces of storage. 9783540557074 Sprache: Englisch Gewicht in Gramm: 1000.

Bestandsnummer des Verk�ufers 215039

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Logical foundations of computer science Teil: 2., Tver '92 : Tver, Russia, July 20 - 24, 1992 / Lecture notes in computer science ; Vol. 620

Verlag

Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer

Ver�ffentlichungsdatum

1992

Sprache

Englisch

ISBN-10

3540557075

ISBN-13

9783540557074

Bindung

Softcover

Ausgabe

1992.

Verk�uferkataloge

Informatik

�ber diesen Titel

Inhaltsangabe

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, andthe Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Das Roland Antiquariat ist ein im Jahre 2001 gegr�ndetes Versand-Antiquariat mit einem breiten Sortiment antiquarischer und seltener B�cher aus zahlreichen Gebieten. Schwerpunkte sind Fotob�cher, Geschichte, Milit�rgeschichte, Kulturgeschichte,Philosophie, Orts- und Landeskunde sowie generell wissenschaftliche Literatur. Zur Erweiterung unseres Sortiments sind wir stets am Ankauf interessanter Einzelst�cke sowie gr��erer Sammlungen zu einem Thema oder auch ganzer Bibliotheken, vorzugsweise wissenschaftlichen Inhalts, interessiert. Rufen Sie uns gerne an unter 06201-7303617 oder schreiben Sie eine mail an info@rolandantiquariat.de. Als Versandantiquariat f�hren wir kein Ladengesch�ft mit festen �ffungszeiten, Besucher sind jedoch nach telefonischer Voranmeldung jederzeit willkommen.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Roland Antiquariat UG (haftungsbeschr�nkt)
M�hlweg 11, Weinheim, 69469, Germany

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Impressum: Roland Antiquariat UG (haftungsbeschr�nkt), M�hlweg 11, 69469 Weinheim, Deutschland Tel.: 06201-7303617 Fax: 06201-2749959 E-Mail: info@rolandantiquariat.de Registergericht: Amtsgericht Mannheim Registernummer: HRB 725900 Gesch�ftsf�hrer: Ali Mert Umsatzsteuer-Identifikationsnummer gem�� 27 a Umsatzsteuergesetz: DE266059823 Link zur k�nftigen EU-Plattform zur Online-Streitbeilegung: www.ec.europa.eu/consumers/odr