Breadth-first search: some surprising results
From MaRDI portal
Publication:2559927
DOI10.1016/0004-3702(73)90006-4zbMath0258.68048OpenAlexW1969967043MaRDI QIDQ2559927
Publication date: 1973
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(73)90006-4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Seventy-five problems for testing automatic theorem provers ⋮ Non-resolution theorem proving ⋮ Breadth-first search: some surprising results ⋮ A program that computes limits using heuristics to evaluate the indeterminate forms
Cites Work
- REF-ARF: A system for solving problems stated as procedures
- An examination of the geometry theorem machine
- Breadth-first search: some surprising results
- Toward Mechanical Mathematics
- Manipulation of trees in information retrieval
- A Machine-Oriented Logic Based on the Resolution Principle
- The Unit Proof and the Input Proof in Theorem Proving
- A Formal Deductive Problem-Solving System
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Breadth-first search: some surprising results
