Logic Programming and Automated Reasoning 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic Programming and Automated Reasoning 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings / edited by Andrei Voronkov.

Збережено в:
Бібліографічні деталі
Співавтор: SpringerLink (Online service)
Інші автори: Voronkov, Andrei (Редактор)
Формат: eКнига
Мова:English
Опубліковано: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Редагування:1st ed. 1993.
Серія:Lecture Notes in Artificial Intelligence ; 698
Springer eBook Collection.
Предмети:
Artificial intelligence.
Mathematical logic.
Electronic resources (E-books)
Онлайн доступ:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Зайдіть у систему щоб отримати інформацію по замовленням та відкликам

Інтернет

Click to view e-book

Online

Детальна інфо про примірники із Online
Шифр: E-Book
Доступно Розмістити замовлення

Схожі ресурси