Browse by People

Up a level
Export as [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 1.

Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.

This list was generated on Mon May 30 23:43:18 2016 BST.