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

Extensional Paramodulation for Higher-Order Logic and its Effective Implementati

Ø 0.0

0 Bewertungen

17,60 €

Berlin / Amsterdam: AKA GmbH / IOS Press, 2018. xiii, 231 pages with ill., 21 cm. Softcover/Paperback. Sprache: Englisch ISBN: 1614999198 EAN: 9781614999195 Bestell-Nr: 16171 Bemerkungen: Like new! Schlagworte: 9783898387392, Automatisches Beweisverfahren ; Prädikatenlogik ; Stufe n ; Termersetzungssystem ; Unifikationstheorie, Mathematik, Informatik .

Jetzt bei Ebay:

Zum Angebot *

EAN:

9781614999195
ISBN:

1614999198
Verlag:

Berlin / Amsterdam: AKA GmbH / IOS Press
Erscheinungsjahr:

2018
Autor:

Steen, Alexander
Publikationsname:

Extensional Paramodulation for Higher-Order Logic and its Effect
Sprache:

Englisch
Format:

Softcover/Paperback
Produktart:

Bücher

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 02. July 2025 und 04. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Amerika, Europa, Asien, Australien
Versand ausgeschlossen:

Ostfriesische Inseln , Nordfriesische Inseln , Ostseeinseln , Russische Föderation , Israel , Jordanien , Irak , Libanon