Title
Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Year
Venue
DocType
2007
LPAR
Conference
Volume
ISBN
Citations 
4790
isbn
37
PageRank 
References 
Authors
2.16
0
2
Name
Order
Citations
PageRank
Nachum Dershowitz12818473.00
Andrei Voronkov22670225.46