First Order Theories of Quantification

Arkady Rabinov. First Order Theories of Quantification. In João P. Martins, Ernesto M. Morgado, editors, EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Volume 390 of Lecture Notes in Computer Science, pages 51-62, Springer, 1989.

Authors

Arkady Rabinov

This author has not been identified. Look up 'Arkady Rabinov' in Google