Login

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)