scientific article; zbMATH DE number 2090033

zbMath1072.68595MaRDI QIDQ4808700

Thomas Sturm

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2385/23850007.htm

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Hybrid Automata in Systems Biology: How Far Can We Go?

This page was built for publication: