0
*
0
*
1450
2025
book-filter
Work cover

Automated Deduction – CADE-23

  • Nikolaj Björner

0

0 ratings

Genres

  • Logic design
  • Software engineering
  • Computer science
  • Artificial intelligence
  • Congresses
  • Symbolic and mathematical Logic
  • Automatic theorem proving
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Artificial Intelligence (incl. Robotics)
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Nikolaj Björner

    0

    0 ratings · 2 works

Editions

  • Edition cover

    Springer-Verlag GmbH Berlin Heidelberg

    2011