A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Easton, Malcolm, C.; Fagin, Ronald, Cold-Start vs. War-Start Miss Ratios (1978) |
Ebbinghaus, H.D., Zum L(Q)-Interpolationsproblem |
Ebbinghaus, H.D. ; Flum, J. ; Thomas, W., Mathematical Logic (1980) |
Eggenberger, Peter, The Philosophical Background of L. E. J. Brouwer's Intuitionistic Mathematics (1976) |
Ehrenfeucht, A.; Feferman, S., Representability of Recursively Enumerable Sets in Forma Theories (1959) |
Ehresmann, Charles, Les Prolongements D'une Variété Différentiable (1951) |
Eilenberg, Samuel ; Elgot, Calvin C., Iteration and Recursion (1968) |
Eilenberg, S.; Elgot, C.C.; Shepherdson, J.C., Sets Recognized by n -Tape Automata (1967) |
Eisele, C., Reviews of Books (1961) |
Eiter, Thomas; Gottlob, Georg, Gurevich, Yuri, Normal Forms for Second-Order Logic Over Finite Structures, and Classification of NP Optimization Problems (1995) |