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

Lambert M. Surhone (u. a.) | Superposition Calculus | Taschenbuch | Englisch

Name: Lambert M. Surhone (u. a.) | Superposition Calculus | Taschenbuch | Englisch
Brand: Betascript Publishing
SKU: 135506451850
Price: 26.95 EUR
Availability: InStock

26,95 €

The superposition calculus is a calculus for reasoning in equational first-order logic. As most first-order calculi, superposition tries to show the unsatisfiability of a set of first-order clauses, i.e. it performs proofs by refutation.

Jetzt bei Ebay:

Zum Angebot *

Buchtitel:

Superposition Calculus
Autor:

Lambert M. Surhone
Sprache:

Englisch
Anzahl der Seiten:

64
Marke:

Betascript Publishing
Hersteller:

Betascript Publishing
Verlag:

Betascript Publishing
Format:

Taschenbuch
Genre:

Mathematik
Redaktion:

Lambert M. Surhone
Herstellungsland und -region:

Deutschland
ISBN:

6131270600

Standardversand:

DHL Paket 2,95 EUR - Lieferung zwischen 08. February 2025 und 11. February 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere