The CADE-18 ATP System Competition

Author： Sutcliffe G.   Suttner C.  

Publisher： Springer Publishing Company

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.31, Iss.1, 2003-09, pp. : 23-32

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

Previous Menu Next

Abstract

Related content

Keynote Address to CADE 99

By Puttnam David  

Digital Creativity, Vol. 10, Iss. 4, 1999-12 ,pp. : 197-204

Routledge Ltd

Access to resources Recommend Favorite

CADE 2001: Crossing the Border

By McKay John  

Digital Creativity, Vol. 12, Iss. 4, 2001-12 ,pp. : 193-194

Routledge Ltd

Access to resources Recommend Favorite

Wholesale Competition in the International Telecommunications System

By Cricelli Livio   Pillo Francesca   Gastaldi Massimo   Levialdi Nathan  

Networks and Spatial Economics, Vol. 5, Iss. 3, 2005-09 ,pp. : 261-277

Springer Publishing Company

Access to resources Recommend Favorite

WebATP: a Web-based flexible available-to-promise computation system

By M. H. Xiong  

Production Planning and Control, Vol. 14, Iss. 7, 2004-10 ,pp. : 662-672

Taylor & Francis Ltd

Access to resources Recommend Favorite

Computers in art and design education-CADE 2004

By Palmer Mark  

Digital Creativity, Vol. 16, Iss. 1, 2005-01 ,pp. : 1-6

Routledge Ltd

Access to resources Recommend Favorite