Meta-Programming in Logic
Subtitle: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Schering Foundation Workshop)
Contributors: Alberto Pettorossi (Editor); A. Pettorossi (Other Contributor)
Publisher: Springer
Published: December 1992
Language: eng
Format: Paperback
Number of pages: 351
ISBN-13: 9783540562825
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Artificial Intelligence - General; Logic; Programming - General; Computers - Languages / Programming