Meta-programming in logic: third international workshop, meta-92, uppsala, sweden, june 10-12, 1992 - proceedings
Auteur :
Pettorossi, Alberto
ISBN :
9783540562825
Date de publication :
2 déc. 1992
Dimensions :
23,3 x 15,5 x 1,9 cm
Poids :
1160 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume of conference papers covers a number of topics, including the foundations of meta-programming in logic, proposals for meta-programming languages, techniques for knowledge representation, program transformation and analysis in logic.