Book picks similar to
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems by Raymond Reiter
logic
ma-phy-cs
tier-3-1-logics
academic-research
Dawn Exodus
Kevin Partner - 2017
Now they’re back. Generational asteroid ship Dawn arrives at its target to find a brutal federation thriving in the embers of empire. Can the engineers and officers of Dawn survive this encounter? What happens when the Robot Empire returns to human space? Could you stand against them? If you like Star Trek and Battlestar Galactica, you’ll enjoy Dawn Exodus, the first book in the Robot Empire series of science fiction adventures on a galactic scale. “reminiscent of some of my favorite old time SciFi authors. Asimov, Heinlein, Niven. I may have found a new favorite author.” - Mark “The influence of Asimov is quickly felt. An aging colony ship with an agricultural society, robots and a confused crew. The potential is here for inspired world building. I'm ready to read the next book.” - Belle