G
Graham Wrightson
14 works on record
Works

Automation of reasoning

Computer money

Parallelization in inference systems

Becoming Civilized?
Combined Arms Warfare in Ancient Greece
Combined Arms Warfare in Ancient Greece
Greece, Macedon and Persia
Greece, Macedon and Persia
Combined Arms Warfare in Ancient Greece from Homer to Alexander the Great and His Successors
Combined Arms Warfare in Ancient Greece from Homer to Alexander the Great and His Successors
Battles of Antiochus the Great
Battles of Antiochus the Great
Ancient warfare
Ancient warfare
Terrorism Through the Ages
Terrorism Through the Ages
Third Macedonian War and Battle of Pydna
Third Macedonian War and Battle of Pydna
Ancient Warfare, Volume II
Ancient Warfare, Volume II
Becoming Civilized
Becoming Civilized
On some semantic tableau proof procedures for modal logic
On some semantic tableau proof procedures for modal logic