Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings (Lecture Notes in Computer Science, 613) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Constructivity in Computer Science: Summer Symposium,...
Seller Image
Constructivity in Computer Science
Published by
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # LU-9783540556312
Buy New
US$ 86.19
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings (Lecture Notes in Computer Science, 613)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540556312_new
Buy New
US$ 70.15
US$ 16.06 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Constructivity in Computer Science
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4893675
Buy New
US$ 57.65
US$ 56.69 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Constructivity in Computer Science
Published by
Springer Berlin Heidelberg Jun 1992, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540556312
Buy New
US$ 89.27
US$ 26.62 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Constructivity in Computer Science
Published by
Springer, Springer Jun 1992, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540556312
Buy New
US$ 63.75
US$ 69.43 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Published by
Springer Berlin Heidelberg, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783540556312
Buy New
US$ 63.75
US$ 71.78 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Constructivity in Computer Science | Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 102134360
Buy New
US$ 59.90
US$ 81.00 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Constructivity in Computer Science
Published by
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1992
ISBN 10: 3540556311
ISBN 13: 9783540556312
New
Paperback
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # LU-9783540556312
Buy New
US$ 70.34
US$ 87.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 202059/202
Buy Used
US$ 50.11
US$ 121.51 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available