Browsing Logic 481 - 500 of 1539 results

  • eBook
    Foundations of Automatic Theorem Proving, Second Edition
    • 1st Edition
    • Jean H. Gallier
    • Dover Publications
    • Reflowable Layout

    $32.95 USD

    View Details
  • eBook
    With Practical Automated Reasoning and Verification
    • Zhe Hou
    • Springer
    • Reflowable Layout

    Starting at:$19.50 USD

    View Details
  • eBook
    • 2nd Edition
    • John L. Bell
    • Cambridge University Press
    • Fixed Layout

    $90.00 USD

    View Details
  • eBook
    Recent Applications and Developments
    • Springer
    • Reflowable Layout

    Starting at:$50.70 USD

    View Details
  • eBook
    A Set Theoretical Viewpoint
    • Andrei Alexandru; Gabriel Ciobanu
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    • Beklemishev, Lev D.
    • Elsevier Science
    • Fixed Layout

    $260.00 USD

    View Details
  • eBook
    23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
    • 1st Edition
    • Bruno Durand; ‎Wolfgang Thomas
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    • Ulrich Höhle
    • Springer
    • Fixed Layout

    Starting at:$29.70 USD

    View Details
  • eBook
    Towards Modern Information Technology
    • Radomir S. Stankovic; Jaakko Astola
    • Springer
    • Fixed Layout

    Starting at:$56.70 USD

    View Details
  • eBook
    • Walter Carnielli; Claudio Pizzi
    • Springer
    • Fixed Layout

    Starting at:$47.70 USD

    View Details
  • eBook
    • Sunil Jacob John
    • Information Science Reference
    • Fixed Layout

    $375.00 USD

    View Details
  • eBook
    • Springer
    • Reflowable Layout

    Starting at:$33.00 USD

    View Details
  • eBook
    Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
    • 1st Edition
    • Author
    • De Gruyter
    • Fixed Layout

    $161.99 USD

    View Details
  • eBook
    17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
    • 1st Edition
    • Andy King
    • Springer
    • Fixed Layout

    Starting at:$27.00 USD

    View Details
  • eBook
    • 1st Edition
    • Mark Verus Lawson
    • CRC Press
    • Reflowable Layout

    Starting at:$54.45 USD

    View Details
  • eBook
    The Somenath Biswas Anniversary Volume
    • Author
    • Birkhäuser
    • Reflowable Layout

    Starting at:$32.70 USD

    View Details
  • eBook
    • Adrian Groza
    • Springer
    • Reflowable Layout

    Starting at:$16.50 USD

    View Details
  • eBook
    • Thomas J. Jech
    • Dover Publications
    • Reflowable Layout

    $15.95 USD

    View Details
  • eBook
    • 1st Edition
    • Mircea S. Reghis; Eugene Roventa
    • CRC Press
    • Reflowable Layout

    Starting at:$42.90 USD

    View Details
  • eBook
    An Introduction to Formal Mathematics
    • 1st Edition
    • Joseph Kirtland
    • Chapman & Hall
    • Reflowable Layout

    Starting at:$42.90 USD

    View Details