𝔖 Bobbio Scriptorium

✦ LIBER ✦

Herbrand deduction search strategies in predicate calculus. II

✍ Scribed by S. Norgėla

Book ID: 105021110
Publisher: Springer
Year: 1979
Tongue: English
Weight: 372 KB
Volume: 19
Category: Article
ISSN: 0363-1672
DOI: 10.1007/bf00972009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Herbrand's strategies of deduction-searc

Herbrand's strategies of deduction-search in predicate calculus. I

✍ S. Norgela 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 373 KB

Multivariate optimization strategy for l

Multivariate optimization strategy for liquid chromatography. II. Exploring and finding optimal conditions in the search area of the multidimensional solvent space

✍ Peter Kaufmann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 597 KB

The sensitivity and precision of search

The sensitivity and precision of search terms in Phases I, II and III of the Cochrane Highly Sensitive Search Strategy for identifying reports of randomized trials in medline in a specific area of health care—HIV/AIDS prevention and treatment interventions

✍ Anne Eisinga; Nandi Siegfried; Mike Clarke 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB