Cover Image

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /

Show other versions (1)

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 construct...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Myers, J. P. (J. Paul), 1946-, O'Donnell, Michael J., 1952-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1992.
Series:Lecture notes in computer science ; 613.
Subjects:
Computer science > Mathematics > Congresses.
logique constructive.
algorithmique.
théorie type.
calcul construction.
Informatique > Mathématiques > Congrès.
Computer science > Mathematics.
Wiskundige logica.
Informatique > Congrès.
Datenverarbeitung.
Konstruktive Methode.
Kongress.
Konstruierbarkeit (Mathematik)
Electronic books.
Kongress (San Antonio, Tex., 1991)
San Antonio (Tex., 1991)
Conference proceedings.
Congressen (vorm)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.M35 C655 1992
 
Call Number Status Get It
QA76.9.M35 C655 1992 Available