A propositional theorem prover to solve planning and other problems

By van Gelder A.   Okushi F.  

Annals of Mathematics and Artificial Intelligence, Vol. 26, Iss. 1-4, 1999-01 ,pp. : 87-112

Springer Publishing Company

Access to resources Recommend Favorite

Fluorescent Change Of Pyreneamide Bearing Calix[4]crown-5: Inhibit Logic Gate In K+-induced [image omitted] Complexation

By Choi Jung Kyu  

Supramolecular Chemistry, Vol. 19, Iss. 4-5, 2007-06 ,pp. : 283-286

Taylor & Francis Ltd

Access to resources Recommend Favorite

Exploiting parallelism: highly competitive semantic tree theorem prover

By Choon Kyu Kim  

International Journal of Computer Mathematics, Vol. 81, Iss. 9, 2004-09 ,pp. : 1051-1067

Taylor & Francis Ltd

Access to resources Recommend Favorite

On Basisity Problem in the Spaces [image omitted]

By Gurdal Mehmet  

Numerical Functional Analysis and Optimization, Vol. 32, Iss. 1, 2011-01 ,pp. : 59-64

Taylor & Francis Ltd

Access to resources Recommend Favorite

Geometrical meaning of arithmetic series [image omitted], [image omitted] and [image omitted] in terms of the elementary combinatorics

By Kobayashi Yukio  

International Journal of Mathematical Education in Science and Technology, Vol. 42, Iss. 5, 2011-07 ,pp. : 657-664

Taylor & Francis Ltd

Access to resources Recommend Favorite