Cover Image

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

Show other versions (1)

Bibliographic Details
Other Authors:	Myers, J. P. (J. Paul), 1946-, O'Donnell, Michael J., 1952-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1992]
Series:	Lecture notes in computer science ; 613.
Subjects:	Computer science > Mathematics > Congresses.

Similar Items

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

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /
Published: (1992)

Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 :proceedings /
Published: (1991)

Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Košice, Slovakia, August 22-26, 1994 : proceedings /
Published: (1994)

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
Published: (1989)

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings /
Published: (1997)

Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings /
Published: (1997)

Recent advances in computational sciences : selected papers from the International Workshop on Computational Sciences and its Education, Beijing, China, 29-31 August 2005 /
Published: (2008)

Mathematical foundations of computer science 1992 : 17th International symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings /
Published: (1992)

Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 /
Published: (1988)

Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings /
Published: (1998)

Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings /
Published: (1999)

Mathematical foundations of computer science 1993 : 18th International Symposium, MFCS'93, Gdańsk, Poland, August 30-September 3, 1993 : proceedings /
Published: (1993)

Computer mathematics : proceedings of the Sixth Asian Symposium (ASCM 2003), Beijing, China, 17-19 April 2003 /
Published: (2003)

Computer mathematics : proceedings of the Fourth Asian Symposium (ASCM 2000) /
Published: (2000)

Category theory and computer science : 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings /
Published: (1997)

Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings /
Published: (1990)

Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings /
Published: (1989)

Proceedings of the College on Recent Developments and Applications in Mathematics and Computer Science : ICTP, Trieste Italy, 7 May-1 June 1990 /
Published: (1991)

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings /
Published: (2005)

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings /
Published: (2007)

Mathematics and computer science : proceedings of the CWI symposium, November 1983 /
Published: (1986)

Mathematical foundations of computer science 2004 : 29th international Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004 : proceedings /
Published: (2004)

Mathematics and computer science.
Published: (2023)

Mathematics and computer science.
Published: (2023)

Computer mathematics : proceedings of the fifth Asian Symposium (ASCM 2001), Matsuyama, Japan, 26-28 September 2001 /
Published: (2001)

Discrete mathematics for computer science : an example-based introduction /
by: Fortney, Jon Pierre
Published: (2021)

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
Published: (1984)

Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings /
Published: (2007)

Geometric computing science : first steps /
by: Hermann, Robert, 1931-
Published: (1991)

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
Published: (1993)

Foundations and trends in theoretical computer science.
Published: (2005)

Category theory for computer science /
by: Barr, Michael, 1937-
Published: (1990)

Computer mathematics : proceedings of the Special Program at Nankai Institute of Mathematics, Tianjin, China, January-June 1991 /
Published: (1993)

Discrete mathematics for computer science : an example-based introduction /
by: Fortney, Jon Pierre
Published: (2021)

Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings /
Published: (1998)

Computational science and its applications /
Published: (2021)

Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings /
Published: (1989)

Mathematics for informatics and computer science /
by: Audibert, Pierre, 1941-
Published: (2010)

Mathematical logic for computer science /
by: Lü, Zhongwen
Published: (1998)