scientific article; zbMATH DE number 1543299

From MaRDI portal

Revision as of 08:58, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4520766

Jump to:navigation, search

zbMath0961.68035MaRDI QIDQ4520766

Dirk Fuchs, Thomas Baar, Bernd Fischer

Publication date: 27 February 2001

Full work available at URL: http://www.jucs.org/jucs_5_3/integrating_deduction_techniques_in

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

zbMATH Keywords

automated deduction techniques retrieve software components

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication:

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