WestminsterResearch

WestminsterResearch will not be accepting deposits until 16th March 2015. This is to allow for a system upgrade and server migration.

Items where Author is Glymour, Clark

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

2008

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

This list was generated on Fri Mar 6 18:50:41 2015 GMT.