Annals of Mathematics and Artificial Intelligence,volume 44,issue 4  (08-2013)

Period of time： 2013年4期

Publisher： Springer Publishing Company

Founded in： 1990

Total resources： 73

ISSN： 1012-2443

Subject： O Mathematical Sciences and Chemical

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4

Menu

Logic programming with infinite sets

By Cenzer Douglas in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 309-339

Springer Publishing Company

Abstract Access to resources Recommend Favorite

The expressive rate of constraints

By Chen Hubie in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 341-352

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Spines of random constraint satisfaction problems: definition and connection with computational complexity

By Istrate Gabriel,Boettcher Stefan,Percus Allon in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 353-372

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Unrestricted vs restricted cut in a tableau method for Boolean circuits

By Järvisalo Matti in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 373-399

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Learning via finitely many queries

By Lee Andrew in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 401-418

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Improving exact algorithms for MAX-2-SAT

By Shen Haiou in (2005)

Annals of Mathematics and Artificial Intelligence,volume 44,issue 4 , Vol. 44, Iss. 4, 2005-08 , pp. 419-436

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)