Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings / под ред. F. Baader

Вторичный автор-лицо: Baader, F., Franz, 340Язык: английский.Страна: .Публикация: : Springer-Verlag, 2003Описание: 502 p.ISBN: 3540405593.Примечания о наличии в документе библиографии/указателя: References at the end of chapters.; Index: p. 503..Тематика: программирование | математика | математическое программирование | теория | конференции | английский язык
Тэги из этой библиотеки: Нет тэгов из этой библиотеки для этого заглавия. Авторизуйтесь, чтобы добавить теги.
Оценка
    Средний рейтинг: 0.0 (0 голосов)
Экземпляры
Тип издания Текущая библиотека Шифр хранения Доступность Штрихкод | RFID
Books НТБ ТПУ Читальный зал иностранной литературы 519 A94 В наличии 13821000398524
Всего резервирований: 0

References at the end of chapters.

Index: p. 503.

Для данного заглавия нет комментариев.

оставить комментарий.