Home Advanced Search

Advanced Search - Page 1

Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • PDF
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (eds.)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • DJVU
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (eds.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
The Battles of Antiochus the Great: The Failure of Combined Arms at Magnesia that Handed the World to Rome
  • PDF
  • English
  • Year: 2022
  • Author: Graham Wrightson
Combined Arms Warfare in Ancient Greece: From Homer to Alexander the Great and his Successors
  • PDF
  • English
  • Year: 2019
  • Author: Graham Wrightson
Ancient Warfare: Introducing Current Research, Volume I
  • PDF
  • English
  • Year: 2015
  • Author: Geoff Lee; Helene Whittaker; Graham Wrightson
Greece, Macedon and Persia: Studies in Social, Political and Military History in Honour of Waldemar Heckel
  • PDF
  • English
  • Year: 2015
  • Author: Timothy Howe, E. Edward Garvin, Graham Wrightson
Computational Logic
  • PDF
  • English
  • Year: 2014
  • Author: Jörg H. Siekmann (Eds.)
Computational Logic
  • PDF
  • English
  • Year: 2014
  • Author: Jörg H. Siekmann (Eds.)
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982
  • PDF
  • German
  • Year: 1982
  • Author: Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.)
search