 |  |  |  | |  |  |  |  |  |  |  | | Bild | | | | Bestellen |  | | 91% |
|
|
|
€ 53,85* pro Stück |
| 91% |
|
|
Verlag Walter de Gruyter 9783110448962 |
€ 79,39* pro Stück |
| 91% |
|
|
|
€ 43,74* pro Stück |
| 91% |
|
|
|
€ 27,29* pro Stück |
| 91% |
|
|
|
€ 52,10* pro Stück |
| 91% |
|
Theorem Proving in Higher Order Logics (1 Angebot) This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy. TPHOLs covers all aspec... |
Springer Verlag 9783540406648 |
€ 49,99* pro Stück |
| 91% |
|
|
|
€ 155,56* pro Stück |
| 91% |
|
|
|
€ 34,98* pro Stück |
| 91% |
|
|
|
€ 45,14* pro Stück |
| 91% |
|
Termination Proofs for Logic Programs (1 Angebot) Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope tha... |
Springer Verlag 9783540528371 |
€ 49,99* pro Stück |
| 91% |
|
|
|
€ 13,20* pro Stück |
| 91% |
|
|
|
€ 0,718* pro Stück |
| 91% |
|
|
Omron G3RV-SR700-D AC/DC24 |
€ 40,61* pro Stück |
| 91% |
|
|
Springer Verlag 9783709116746 |
€ 99,99* pro Stück |
| 91% |
|
|
|
€ 10,23* pro Stück |
| |
|
|  | |  |