Browse by People

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

Bolotov, Alexander and 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 Thu Sep 3 23:29:26 2015 BST.