5 treff

Optimization and computational logic
McAloon, Kenneth
Bok Engelsk 1996
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80
edited by C. Berline, K. McAloon, and J.-...
Bok Språk ikke angitt 1981
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
Logic Colloquium
Bok Språk ikke angitt 1979
Calculus
Kenneth McAloon, Anthony Tromba ; with th...
Bok Engelsk 1972
Calculus of one variable
Kenneth McAloon, Anthony Tromba ; with th...
Bok Engelsk 1972