Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

by André Platzer, Geoff Sutcliffe Paperback 2021

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: André Platzer, Geoff Sutcliffe
  • ISBN 13: 9783030798758
  • ISBN 10: 3030798755
  • Publication Year: 2021
  • Language: English

Specifications

Index-10 3030798755
Index-13 9783030798758
Language English

✨ Readers also enjoyed...

View All →
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Pro

Correct System Design : Symposium …

Roland Meyer, André Platzer, Heike Wehrheim

Inquire
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods : 26th Internationa…

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Inquire
Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physi…

André Platzer

Inquire
Acadia : Missing Links of a Lost Chapter in American History; Volume 1

Acadia : Missing Links of a Lost C…

Édouard Richard

Inquire
Humans' Enhancements

Humans' Enhancements

I. M. Stoicus

Inquire