✦ LIBER ✦

Abstracts of Invited Talks

✍ Scribed by Giorgio Buttazzo; Avi Efrati; John Hooker; Claude Le Pape; Joseph Sifakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invited talks—abstracts

📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 51 KB

List of invited talks

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 71 KB

List of invited talks

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 41 KB

List of invited talks

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 43 KB

List of invited talks

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 113 KB

Theory Exploration Versus Theorem Provin

✍ Bruno Buchberger 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 100 KB