Liknande böcker

Perspectives of System Informatics: 4th International Andrei Ershov Memo...
Bok av Alexandre V. Zamulin
Types for Proofs and Programs: International Workshop, TYPES' 98 Kloster...
Bok av Thorsten Altenkirch
Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Flexible Query Answering Systems : 13th International Conference, FQAS 2...
Bok
Machine Learning and Data Mining in Pattern Recognition : 9th Internatio...
Bok av Petra. Perner
Algebraic and logic programming
Bok av Michael Hanus
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
Rewriting Techniques and Applications : 9th International Conference, RT...
Bok av Tobias Nipkow

Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings

Bok av Michael Rusinowitch