Universal Quantification in Categorical Logic Programming | Kaicus Deutschland

Universal Quantification in Categorical Logic Programming

49.00 EUR

Ein einführendes Werk, das die universelle Quantifizierung in der kategorischen Logikprogrammierung neu strukturiert und praxisnahe operationale Modelle für hereditarisch Harrop‑Logiken bietet.

ISBN: 3639368282
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen