@cschon

Applications of Automated Reasoning

U. Furbach, и C. Obermaier. KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings , том 4314 из Lecture Notes in Computer Science, Springer, (2007)

Линки и ресурсы

ключ BibTeX:
Furbach:2007fk
искать в:

Комментарии и рецензии  
(0)

Комментарии, или рецензии отсутствуют. Вы можете их написать!

Tags


Цитировать эту публикацию