Für die Filterung wurden keine Ergebnisse gefunden!
- Kartoniert
- 490 Seiten
- Erschienen 2014
- Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as...
53,49 €
- paperback
- 372 Seiten
- Erschienen 2008
- Springer
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
Das Buch "Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99" ist ein Sammelband der Konferenzbeiträge, die auf der 12. Internationalen Konferenz über Theorembeweisen in höheren Ordnungssprachen präsentiert...
29,11 €
-
-
-
