Vai al contenuto principale della pagina

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Cheney James Visualizza persona
Titolo: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Visualizza cluster
Pubblicazione: [Place of publication not identified], : Association for Computing Machinery, 2009
Descrizione fisica: 1 online resource (92 p.;)
Soggetto topico: Information Technology - Computer Science (Hardware & Networks)
Persona (resp. second.): CheneyJames
Note generali: Bibliographic Level Mode of Issuance: Monograph
Altri titoli varianti: LFMTP '09
Titolo autorizzato: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910375797803321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: ACM Other conferences