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) |