scientific article; zbMATH DE number 1822298
From MaRDI portal
Publication:4780251
zbMath1017.68111MaRDI QIDQ4780251
Publication date: 3 November 2002
Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8265-9351-2
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (2)
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mi>F</mml:mi><mml:mi>L</mml:mi><mml:mi>P</mml:mi></mml:math> Scheme ⋮ A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
This page was built for publication: