Browsing Logic 881 - 900 of 1424 results

  • eBook
    Coq’Art: The Calculus of Inductive Constructions
    • Yves Bertot; Pierre Castéran
    • Springer
    • Fixed Layout

    Starting at:£21.00 GBP

    View Details
  • eBook
    • 1st Edition
    • Frederick E. Petry; ‎Vincent B. Robinson; ‎Maria A. Cobb
    • Springer
    • Fixed Layout

    Starting at:£53.85 GBP

    View Details
  • eBook
    Applied Automata Theory and Logic
    • Ganesh Gopalakrishnan
    • Springer
    • Fixed Layout

    Starting at:£24.75 GBP

    View Details
  • eBook
    • W.D. Wallis
    • Birkhäuser
    • Fixed Layout

    Starting at:£21.60 GBP

    View Details
  • eBook
    Eine Reise durch die Kerngebiete der mathematischen Logik
    • Dirk W. Hoffmann
    • Spektrum Akademischer Verlag
    • Fixed Layout

    Starting at:£6.60 GBP

    View Details
  • eBook
    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    • 1st Edition
    • Wil van der Aalst; ‎Eike Best
    • Springer
    • Fixed Layout

    Starting at:£13.50 GBP

    View Details
  • eBook
    • 1st Edition
    • P. Mancosu; ‎Klaus Frovin Jørgensen; ‎S.A. Pedersen
    • Springer
    • Fixed Layout

    Starting at:£26.85 GBP

    View Details
  • eBook
    • John A. Lee; Michel Verleysen
    • Springer
    • Fixed Layout

    Starting at:£35.85 GBP

    View Details
  • eBook
    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    • 1st Edition
    • J. Duparc; T. A. Henzinger
    • Springer
    • Fixed Layout

    Starting at:£26.85 GBP

    View Details
  • eBook
    Changing Conceptions of What is Computable
    • 1st Edition
    • S. Barry Cooper; Andrea Sorbi; Benedikt Löwe
    • Springer
    • Fixed Layout

    Starting at:£38.85 GBP

    View Details
  • eBook
    Applications and Advanced Techniques
    • Mario Petrich; Norman R. Reilly
    • Springer
    • Reflowable Layout

    Starting at:£10.50 GBP

    View Details
  • eBook
    14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I
    • Springer
    • Reflowable Layout

    Starting at:£15.00 GBP

    View Details
  • eBook
    • Stephen Cole Kleene
    • Dover Publications
    • Reflowable Layout

    £18.62 GBP

    View Details
  • eBook
    A Fundamental Introduction
    • Apostolos Syropoulos
    • Springer
    • Reflowable Layout

    Starting at:£10.50 GBP

    View Details
  • eBook
    The Origins of Neo-Positivism
    • Victor Kraft
    • Philosophical Library/Open Road
    • Reflowable Layout

    Starting at:£2.82 GBP

    View Details
  • eBook
    • Rudolf Carnap
    • Dover Publications
    • Reflowable Layout

    £11.16 GBP

    View Details
  • eBook
    Pharmaceutical Processes
    • Yizhi Wang; Zhong Yang
    • Academic Press
    • Reflowable Layout

    £162.99 GBP

    View Details
  • eBook
    17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
    • Springer
    • Reflowable Layout

    Starting at:£39.00 GBP

    View Details
  • eBook
    A Firm Foundation of Mathematics
    • 2nd Edition
    • Lorenz Halbeisen; Regula Krapf
    • Birkhäuser
    • Fixed Layout

    Starting at:£16.50 GBP

    View Details
  • eBook
    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
    • 2nd Edition
    • Wolfgang Schreiner
    • Springer
    • Fixed Layout

    Starting at:£18.00 GBP

    View Details