(Q29400046)

English

Strips: A new approach to the application of theorem proving to problem solving

scientific article (publication date: December 1971)

In more languages

edit

Statements

instance of

scholarly article

0 references

title

Strips: A new approach to the application of theorem proving to problem solving (English)

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

14 April 2017

1 reference

Richard E. Fikes

1

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

Nils J. Nilsson

series ordinal

2

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

language of work or name

English

0 references

publication date

December 1971

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

published in

Artificial Intelligence

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

volume

2

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

issue

3-4

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

page(s)

189-208

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

retrieved

14 April 2017

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

DOI

10.1016/0004-3702(71)90010-5

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0004-3702%2871%2990010-5

14 April 2017

1 reference

DBLP Dataset 2021-01-02

retrieved

28 January 2021

ResearchGate publication ID

222219393

0 references

zbMATH Open document ID

0234.68036

0 references

(Q29400046)

Strips: A new approach to the application of theorem proving to problem solving

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)