|
|
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
Handbook of Antennas in Wireless CommunicationsАвтор: Lester Packer, Автор: Enrique Cadenas
Размер книги: 37.19 Mb
Только что пользователи скачали эти книги:
Мое поколениеАвтор: Горбатов Борис ЛеонтьевичКатегория: Советская классическая проза
Размер книги: 729 Kb
Semantics-directed compiler generation: proc.1980Автор: N.D. JonesКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.13 Mb
Pedogenesis and Soil Taxonomy Concepts and InteractionsАвтор: Wilding, Автор: L. P.; Smeck, Автор: N. E.; Hall, Автор: G. F.Категория: Chemistry-Environmental-Material
Размер книги: 4.95 Mb
Технология и оборудование процессов переработки нефти и газа: Учебное пособиеАвтор: Ахметов С., Автор: Сериков Т. и др.
Размер книги: 90.08 Mb
Changing the Conversation: Messages for Improving Public Understanding of EngineeringАвтор: Committee on Public Understanding of Engineering Messages, Автор: National Academy of EngineeringКатегория: engeneering_technology
Размер книги: 2.45 Mb
Primary Activity Box: Games and Activities for Younger Learners (Cambridge Copy Collection)Автор: Caroline Nixon, Автор: Michael Tomlinson
Размер книги: 11.17 Mb
|
|
|