✦ LIBER ✦

Strategies of the search for derivation of statements with restricted quantifiers

✍ Scribed by K. P. Vershinin; M. K. Morokhovets

Publisher: Springer US
Year: 1984
Tongue: English
Weight: 660 KB
Volume: 19
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01072145

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On optimal search strategies for the max

On optimal search strategies for the maximum of a function with bounded highest derivative

✍ A.B. Pevnyi 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 418 KB

Optimal strategies of the search for an

Optimal strategies of the search for an extremum

✍ A.G. Sukharev 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 931 KB

On the optimality of a simple strategy f

On the optimality of a simple strategy for searching graphs

✍ Shmuel Gal 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 105 KB

Contact search strategies for FEM simula

Contact search strategies for FEM simulation of the blow molding process

✍ Song Wang; Akitake Makinouchi 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 545 KB

In this paper, the e$ciency and accuracy of contact search algorithms for the blow molding simulation were discussed. In order to increase the e$ciency of the contact search, we proposed and implemented three kinds of global search algorithms and compared them with two existing methods in terms of b

A certain strategy of search for the sol

A certain strategy of search for the solution of transformation problems

✍ V. P. Gladun; N. I. Galagan; S. P. Sasina 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 694 KB

The search for the minimum of a function

The search for the minimum of a function with a bounded second derivative

✍ A.Yu. Afanas'ev 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 317 KB