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

Automatisiertes Denken in Logik höherer Ordnung: Set-Verstehen und

Ø 0.0
0 Bewertungen
32,43 €

Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Three families of sequent calculi are defined and proven sound and complete with respect to appropriate model classes.

Jetzt bei Ebay: