Universal Quantification in Categorical Logic Programming
49.00 EUR
Ein einflussreiches Fachbuch, das die Theorie der universellen Quantifizierung in der kategorischen Logikprogrammierung neu interpretiert und dabei innovative operationale Semantik für hereditarisch Harrop‑Logiken entwickelt, um komplexe Programmieraufgaben elegant zu lösen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Universal Quantification in Categorical Logic Programming, Fachbücher von Ayalur Krishnan
Galaxus.de
21-04-2026 19:26:10
Ähnliche Produkte
Universal-Kompressor Kompakt
124.99 EUR
Peg Perego Universal Regenschutz
29.00 EUR
RICOO R23 TV Wandhalterung
49.99 EUR
