|
|
libcats.org
Главная →
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. ProceedingsDesign and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. ProceedingsAlfonso MiolaThis volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Обыкновенные дифференциальные уравненияАвтор: Арнольд В.И., Автор: Ю.С.ИльяшенкоКатегория: Математика
Размер книги: 1.53 Mb
Flags of the Third Reich: WehrmachtАвтор: Brian Davis, Автор: Malcolm McGregor
Размер книги: 23.11 Mb
Введение в специальность ''Электротехнологические установки и системы'': Учебное пособиеАвтор: Сарапулов Ф.Н.Категория: Электротехника
Размер книги: 1.41 Mb
English Grammar In Use with Answers: A Self-study Reference and Practice Book for Intermediate Students of English 3rd editionАвтор: Raymond MurphyКатегория: Образование
Размер книги: 68.48 Mb
Democratic Politics and Economic Reform in India (Contemporary South Asia)Автор: Rob JenkinsКатегория: Экономика
Размер книги: 969 Kb
Manual for Chess Trainers Step 1 The Step-by-Step MethodАвтор: Rob Brunia, Автор: C. Van Wijgerden
Размер книги: 2.65 Mb
Widerspenstige Praktiken: Macht, Diskurs, Geschlecht (edition suhrkamp)Автор: Nancy Fraser
Размер книги: 1.62 Mb
|
|
|