Liknande böcker

Mathematics of Program Construction : Second International Conference, O...
Bok av Richard Bird
Algorithm Theory - SWAT 2010
Bok av Haim. Kaplan
Typed Lambda Calculi and Applications : Third International Conference o...
Bok av Philippe De Groote
Logic, Rationality, and Interaction : 5th International Workshop, LORI 2...
Bok av Wiebe Van Der Hoek
EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, Apr...
Bok av Bruno Buchberger
Logic and Its Applications : 5th International Conference, ICLA 2013, Ch...
Bok av Kamal. Lodaya
Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan
Context-Free Grammars : Covers, Normal Forms, and Parsing
Bok av Anton Nijholt

Lambda-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto Per Le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale

Bok av C Bohm