Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Editat de Stefan Berghofer et al.
4 aug 2009
Paperback
Preț: 331.30 lei 414.13 lei
6-8 săpt.
-20%
Cărți de Christian Urban
Rechtsformwahl in der Land- und Forstwirtschaft
Autor Peter Brauner et al.
17 dec 2014
Hardback
Preț: 456.61 lei
Indisponibil temporar
Rechtsformwahl in der Land- und Forstwirtschaft
Autor Peter Brauner et al.
28 apr 2025
Hardback
Preț: 542.46 lei 609.50 lei
17-23 zile | 7-13 zile
-11%
Ahnlichkeitssuche in Der Lost Art Internet Database: Von Der Kunst, Ein Eigenes Label Zu Grunden
Autor Christian Urban
7 mar 2004
Paperback
Preț: 534.15 lei 667.70 lei
6-8 săpt.
-20%
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Editat de Christian Urban et al.
27 aug 2015
Paperback
Preț: 328.62 lei 410.77 lei
6-8 săpt.
-20%