Browse by People

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

Book Section

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 Fri Sep 30 23:34:24 2016 BST.