Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, Decemb

Ø 0.0
0 Bewertungen
67,86 €

This book contains five papers contributed by the invited speakers and five selected contributions. Foundations of Logic and Functional Programming. - Typechecking dependent types and subtypes. - PAP: a logic programming system based on a constructive logic.

Jetzt bei Ebay: