Liknande böcker

Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
Context-Free Grammars : Covers, Normal Forms, and Parsing
Bok av Anton Nijholt
Automatic Verification Methods for Finite State Systems : International...
Bok av Joseph Sifakis
Theoretical Aspects of Computer Software : Third International Symposium...
Bok av Martín Abadi
Recent Trends in Algebraic Development Techniques : 15th International W...
Bok av Maura Cerioli
Information and Randomness
Bok av Cristian Calude
EUROCAL '87
Bok

COLOG-88

Bok av Per Martin-Lof