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

Quantifizierer-Eliminierung zweiter Ordnung: Grundlagen, rechnerische Aspekte und

Ø 0.0
0 Bewertungen
22,44 €

This book provides the first comprehensive, systematic and uniform account of the state-of-the-art of second-order quantifier elimination in classical and non-classical logics. knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand, and.

Jetzt bei Ebay: