Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings: 613 (Lecture Notes in Computer Science, 613) - Tapa blanda
Sinopsis
Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Mathematicians have long recognized the distinction between an argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Constructivity in Computer Science: Summer Symposium,...
Imagen de archivo
Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings (Lecture Notes in Computer Science, 613)
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: ria9783540556312_new
Comprar nuevo
EUR 60,62
Envío por EUR 13,88
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Constructivity in Computer Science
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 1992 ed. Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actually constructing the object. Computerscience adds a new dimension of interest in constructivity,since a computer program is a formal description of aconstructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted toconstructivity, and never before has one been heldspecifically relating computer science to constructivity. Thus, this proceedings volume is the most concentratedoffering ever produced of the diverse ways in whichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complex analysis, topology and combinatorics,nonconstructive graph-theoretical techniques, and curriculumand pedagogic issues. The book offers a concentrated view of the many ways inwhich constructivity has assumed importance in computerscience, and contains results available nowhere else. Nº de ref. del artículo: LU-9783540556312
Comprar nuevo
EUR 76,73
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Constructivity in Computer Science
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
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. Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actually constructing the object. Computerscience adds a new dimension of interest in constructivity,since a comput. Nº de ref. del artículo: 4893675
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Constructivity in Computer Science
Publicado por
Springer Berlin Heidelberg Jun 1992, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else. 264 pp. Englisch. Nº de ref. del artículo: 9783540556312
Comprar nuevo
EUR 74,89
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Constructivity in Computer Science
Publicado por
Springer, Springer Jun 1992, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and a procedure for actually constructing the object. Computer science adds a new dimension of interest in constructivity, since a computer program is a formal description of a constructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted to constructivity, and never before has one been held specifically relating computer science to constructivity. Thus, this proceedings volume is the most concentrated offering ever produced of the diverse ways in which constructivity and computer science are related. The papers cover semantics and type theory, logic and theorem proving, real and complex analysis, topology and combinatorics, nonconstructive graph-theoretical techniques, and curriculum and pedagogic issues. The book offers a concentrated view of the many ways in which constructivity has assumed importance in computer science, and contains results available nowhere else.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch. Nº de ref. del artículo: 9783540556312
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
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 - Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actually constructing the object. Computerscience adds a new dimension of interest in constructivity,since a computer program is a formal description of aconstructive procedure that can be executed automatically.It has beenover a decade since a conference was devoted toconstructivity, and never before has one been heldspecifically relating computer science to constructivity.Thus, this proceedings volume is the most concentratedoffering ever produced of the diverse ways in whichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complex analysis, topology and combinatorics,nonconstructive graph-theoretical techniques, and curriculumand pedagogic issues.The book offers a concentrated view of the many ways inwhich constructivity has assumed importance in computerscience, and contains results available nowhere else. Nº de ref. del artículo: 9783540556312
Comprar nuevo
EUR 53,49
Envío por EUR 62,03
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Constructivity in Computer Science | Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Constructivity in Computer Science | Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings | J. Paul Jr. Myers (u. a.) | Taschenbuch | xi | Englisch | 1992 | Springer | EAN 9783540556312 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 102134360
Comprar nuevo
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Constructivity in Computer Science
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
Nuevo
Paperback
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 1992 ed. Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actually constructing the object. Computerscience adds a new dimension of interest in constructivity,since a computer program is a formal description of aconstructive procedure that can be executed automatically. It has beenover a decade since a conference was devoted toconstructivity, and never before has one been heldspecifically relating computer science to constructivity. Thus, this proceedings volume is the most concentratedoffering ever produced of the diverse ways in whichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complex analysis, topology and combinatorics,nonconstructive graph-theoretical techniques, and curriculumand pedagogic issues. The book offers a concentrated view of the many ways inwhich constructivity has assumed importance in computerscience, and contains results available nowhere else. Nº de ref. del artículo: LU-9783540556312
Comprar nuevo
EUR 60,78
Envío por EUR 75,31
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | Mathematicians have long recognized the distinction betweenan argument showing that an interesting object exists and aprocedure for actually constructing the object. Computerscience adds a new dimension of interest in constructivity,since a computer program is a formal description of aconstructive procedure that can be executed automatically.It has beenover a decade since a conference was devoted toconstructivity, and never before has one been heldspecifically relating computer science to constructivity.Thus, this proceedings volume is the most concentratedoffering ever produced of the diverse ways in whichconstructivity and computer science are related. The paperscover semantics and type theory, logic and theorem proving,real and complex analysis, topology and combinatorics,nonconstructive graph-theoretical techniques, and curriculumand pedagogic issues.The book offers a concentrated view of the many ways inwhich constructivity has assumed importance in computerscience, and contains results available nowhere else. Nº de ref. del artículo: 202059/202
Comprar usado
EUR 40,04
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles