Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Save for later
Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)
by Guerino Mazzola,Gérard Milmeister,Jody Weissmann
ISBN 13: 9783540368731
Format: Paperback (388 pages) Publisher: Springer Published: 20 Sep 2006
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
by
ISBN 13: 9783540738572
Format: Paperback (463 pages) Publisher: Springer Published: 09 Aug 2007
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642030918
Format: Paperback (139 pages) Publisher: Springer Published: 26 Oct 2009
The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46
by Charles Sellers
ISBN 13: 9780195089202
Format: Paperback (512 pages) Publisher: OUP USA Published: 14 Jul 1994
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Classical Mathematical Logic: The Semantic Foundations of Logic
by Richard L. Epstein
ISBN 13: 9780691123004
Format: Hardcover (544 pages) Publisher: Princeton University Press Published: 03 Jul 2006
Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic)
by Torkel Franzén
ISBN 13: 9781568811758
Format: Paperback (300 pages) Publisher: A K Peters/CRC Press Published: 02 Sep 2004
Conceptual Structures: Leveraging Semantic Technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642030789
Format: Paperback (321 pages) Publisher: Springer Published: 10 Jul 2009
Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642048920
Format: Paperback (329 pages) Publisher: Springer Published: 23 Sep 2009
Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Gabriele Puppis
ISBN 13: 9783642118807
Format: Paperback (206 pages) Publisher: Springer Published: 18 Feb 2010
Handbook of Combinatorial Designs (Discrete Mathematics and Its Applications)
ISBN 13: 9781584885061
Format: Hardcover (1016 pages) Publisher: Chapman and Hall/CRC Published: 02 Nov 2006