✦ LIBER ✦

TPS: A hybrid automatic-interactive system for developing proofs

✍ Scribed by Peter B. Andrews; Chad E. Brown

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Developing a dynamic automatic control s

✍ L. S. Mkrtchan; Yu. V. Serov; V. V. Besfamil'nyi; G. P. Lezhnev; Yu. V. Fedulov; 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 799 KB

A framework for automatic DFA system dev

✍ Rong-Kwei Li; Cheng-Long Hwang 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 717 KB

A hybrid knowledge-based system for urba

✍ Feng Shan; Li D. Xu 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 588 KB

Performance evaluations of hybrid automa

✍ Kazumi Yasui; Toshio Nakagawa 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 479 KB

Development of a new adaptive PSS system

✍ Tsutomu Michigami; Kunitake Hayashi; Sakae Hiyoshi; Takashi Okamoto 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 362 KB

Development of an automatic data collect

✍ T.D. Sloan; A. Thompson 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 551 KB