Description
Product details
| Assisted by | Clark Barrett (Editor), Uwe Waldmann (Editor) |
| Publisher | Springer International Publishing |
| Languages | English |
| Product format | Paperback / Softback |
| Release | 09.10.2025 |
| EAN | 9783031999833 |
| ISBN | 978-3-031-99983-3 |
| Illustrations | Approx. 690 p. |
| Series |
Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Subjects |
Natural sciences, medicine, IT, technology
> IT, data processing
> IT
Software Engineering, Artificial Intelligence, Open Access, Theoretische Informatik, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, logic programming, computer algebra, model checking, automated reasoning, formal languages, automata theory, formal logic, software verification, Automated deduction, automated theorem proving, constraint solving, propositional satisfiability, Boolean functions, satisfiability modulo theories |
Customer reviews
No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.
Write a review
Thumbs up or thumbs down? Write your own review.