Artículos relacionados a Logical Foundations of Computer Science - Tver '92:...
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings: 620 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Logical Foundations of Computer Science - Tver '92:...
Imagen del vendedor
Logical foundations of computer science Teil: 2., Tver '92 : Tver, Russia, July 20 - 24, 1992 / Lecture notes in computer science ; Vol. 620
Publicado por
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1992
ISBN 10: 3540557075
ISBN 13: 9783540557074
Antiguo o usado
Softcover
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. 1992. 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. Nº de ref. del artículo: 215039
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Publicado por
Springer, Berlin, 1992
ISBN 10: 3540557075
ISBN 13: 9783540557074
Antiguo o usado
Paperback
Original o primera edición
Librería: True Oak Books, Highland, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good+. Lecture Notes In Computer Science, 620; 6.1 X 1.19 X 9.25 inches; 514 pages; Ex-Library copy with usual identifiers. Light yellowing on pages. Slightly cocked spine. Minor creasing on spine. Light rubbing on the covers. Good condition otherwise. No other noteworthy defects. No markings on text pages. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence. 1st Edition (Unstated); No Printing Stated. Nº de ref. del artículo: TOB224-60417-A-4.61
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540557075
ISBN 13: 9783540557074
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the papers selected for the SymposiumLogic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia.The meeting is a joint effort of scholars from both theformer Soviet Union and the West, and indicates a new era ofinternational cooperation. Sponsors of the meeting include:the Association for Computing Machinery, the Association forSymbolic Logic, andthe Committee on MathematicalFoundations of Computer Science of IEEE.The book is a unique source of information on the state ofcomputer science research in the former Soviet Union andpresents important discoveries in the area of logicalfoundations of computer science. Nº de ref. del artículo: 9783540557074
Cantidad disponible: 1 disponibles
Imagen de archivo
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science, 620)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540557074_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science, 620)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783540557074
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver 92
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540557075
ISBN 13: 9783540557074
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the papers selected for the SymposiumLogic at Tver 92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia.The meeting is a . Nº de ref. del artículo: 4893704
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Paperback or Softback)
Publicado por
Springer 6/24/1992, 1992
ISBN 10: 3540557075
ISBN 13: 9783540557074
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings 1.62. Book. Nº de ref. del artículo: BBS-9783540557074
Cantidad disponible: 5 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5906286-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5906286-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5906286
Cantidad disponible: Más de 20 disponibles