Results for “Association for Symbolic Logic”
99 books found
Books
Logic Colloquium '69
Logic Colloquium (1969 University of Manchester)
1971
Proceedings of the Second Scandinavian Logic Symposium
Scandinavian Logic Symposium University of Oslo 1970.
1971
Reflections on the foundations of mathematics
Solomon Feferman
2002
Logic Colloquium '85
Logic Colloquium (1985 Orsay, France)
1987
Formal systems and recursive functions
Logic Colloquim (8th 1963 Oxford)
1965
Formal systems and recursive functions
Logic Colloquium 8th Oxford, 1963
1965
Formal systems and recursive functions
Logic Colloquium. (1963 Oxford, Oxfordshire)
1965
Methods and applications of mathematical logic
Latin-American Symposium on Mathematical Logic (7th 1985 State University of Campinas)
1988
Symposium on Logic in Computer Science
Symposium on Logic in Computer Science (1986 Cambridge, Mass.).
1986
Additional papers presented at the Symposium on Symbolic and Algebraic Manipulation, March 29-31, 1966, Washington, D.C
Symposium on Symbolic and Algebraic Manipulation (1966 Washington, D.C.)
1966
Formal systems and recursive functions
Logic Colloquium ((8th 1963 Oxford, Oxfordshire))
1965
Computer science logic
Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark)
1998
Computer science logic
CSL 2009 (2009 Coimbra, Portugal)
2009
ISSAC 98
International Symposium on Symbolic and Algebraic Computation (1998 Rostock, Germany)
1998
Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California
Symposium on Logic in Computer Science (10th 1995 San Diego, Calif.)
1995
Computer science logic
CSL 2001 (2001 Paris, France)
2001
Computer science logic
CSL 2008 (2008 Bertinoro, Italy)
2008
Proceedings of the second symposium on Symbolic and Algebraic Manipulation, March 23-25, 1971, Los Angeles, California
Calif.) Symposium on Symbolic and Algebraic Manipulation (2nd 1971 Los Angeles
1971
SNC'07
Jan Verschelde
2007
VLSI for neural networks and artificial intelligence
José G. Delgado-Frias
1994