Nachum Dershowitz, A. V. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)
Nachum Dershowitz, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Berlín, Alemania: Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Trích dẫn kiểu MLA (xuất bản lần thứ 9)
Nachum Dershowitz, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Springer.
Sao chép vào clipboard thành công
Sao chép vào clipboard thất bại
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.