|
|
libcats.org
Главная →
Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94Laurent Fribourg, Franco TuriniThis volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Металлические конструкции производственных сельскохозяйственных зданийАвтор: Мурашко Н.Н.Категория: Engineering
Размер книги: 3.66 Mb
Periodic solutions for evolution equationsАвтор: Sylvie Benzoni-Gavage, Автор: Denis Serre
Размер книги: 342 Kb
Линейные дифференциальные уравнения с периодическими коэффициентами и их приложения (нет с.401)Автор: Якубович В.А., Автор: Старжинский В.М.
Размер книги: 10.10 Mb
Differential Equations, Dynamical Systems, and an Introduction to Chaos, Second Edition (Pure and Applied Mathematics (Academic Press), 60.)Автор: Robert Devaney, Автор: Morris W. Hirsch
Размер книги: 3.29 Mb
Statistical Confidentiality: Principles and PracticeАвтор: George T. Duncan, Автор: Mark Elliot, Автор: Juan-José Salazar-González
Размер книги: 1.84 Mb
Imaging of the Hip & Bony Pelvis: Techniques and Applications (Medical Radiology Diagnostic Imaging)Автор: A. Mark Davies, Автор: Karl J. Johnson, Автор: Richard William Whitehouse, Автор: A.L. Baert
Размер книги: 13.55 Mb
|
|
|