Practice and Theory of Automated Timetabling II, Edmund Burke; Michael Carter

Автор: Edmund Burke; Hana Rudov?
Название: Practice and Theory of Automated Timetabling VI
ISBN: 3540773444 ISBN-13(EAN): 9783540773443
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the 6th International Conference on Practice and Theory of Automated Timetabling, PATAT 2006, held in Brno, Czech Republic, in August/September 2006. This book presents 25 revised full papers that were selected during a second round of reviewing and improvement from 70 original conference presentations.

Автор: Edmund Burke; Peter Ross
Название: Practice and Theory of Automated Timetabling
ISBN: 3540617949 ISBN-13(EAN): 9783540617945
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a selection of papers presented at the First International Conference on the Practice and Theory of Automated Timetabling. The papers are organized in sections on reasoning about constraints, genetic algorithms, complexity issues, and tabu search and annealing.

Автор: Simon Colton
Название: Automated Theory Formation in Pure Mathematics
ISBN: 1447111133 ISBN-13(EAN): 9781447111139
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy`s mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer.