Logic Programming and Automated Reasoning (eBook)
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Autor: Andrei (Hrsg.) Voronkov
ISBN:
978-3-540-47830-0
Einband:
PDF
Verfügbarkeit:
Noch nicht erschienen, April 2025