Planejamento como satisfatibilidade: uma abordagem não-clausal

Autor:	Razer A N R Montaño, Castilho, Marcos A, Silva, Fabiano, Luiz A Künzle
Jazyk:	angličtina
Rok vydání:	2007
DOI:	10.13140/2.1.4799.8406
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::dca62987ad4e983caf478e0b8f8ec999 Zobrazit plný text záznamu