MERLIN'05, September 30, 2005, Tallinn, Estonia : proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varlable biNding

MERLIN'05, September 30, 2005, Tallinn, Estonia proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varlable biNding

Bibliographic Details
Corporate Authors: ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (-), Association for Computing Machinery. Special Interest Group on Programming Languages
Other Authors: Momigliano, Alberto (-), Pollack, R. (Randy)
Format: Book
Language:Inglés
Published: New York : ACM 2005.
Subjects:
Sistemas expertos (Informática) > congresos y asambleas.
Lenguajes de programación (Ordenadores) > congresos y asambleas.
See on Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991004403829703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Request an interlibrarian loan: Email

Similar Items

Similar Items