scientific article

From MaRDI portal

Publication:3793766

Jump to:navigation, search

zbMath0648.68100MaRDI QIDQ3793766

Jean-Louis Lassez, Joxan Jaffar

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programming constraint solving knowledge based systems stock options trading

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3793766&oldid=17351800"