scientific article; zbMATH DE number 1956606

zbMath1031.68585MaRDI QIDQ4417954

Sava Krstić, Sylvain Conchon

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190537.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)

Related Items (3)

Canonization for disjoint unions of theories ⋮ Combination of convex theories: modularity, deduction completeness, and explanation ⋮ Deduction, Strategies, and Rewriting

This page was built for publication: