日本村有限公司 NIHON MURA CO.,LTD. http://news.nihonmura.tw 106台北市羅斯福路二段79號10F-9 TEL：(FAX：( 營業時間：週一/六 9:00：17:00,

Source URL: klaolj.nihonmura.tw

準会員（企業・団体用） 入 会

Source URL: cdn.utsukushii-mura.jp

日本村有限公司 NIHON MURA CO.,LTD. http://news.nihonmura.tw 106台北市羅斯福路二段79號10F-9 TEL：(FAX：( 營業時間：週一/六 9:00：17:00,

Source URL: isi.nihonmura.tw

DGP_vabilo_okrogla miza_Mura in prostorski razvoj

Source URL: www.drustvo-geografov-pomurja.si

Efficient Ambiguous Parsing of Mathematical Formulae? Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science University of Bologna Mura Anteo Zamboni 7, 40127 Bologna, ITALY

Source URL: matita.cs.unibo.it

LE MURA DI PISTOIA ~ La prima cerchia: le mura altomedievali

Source URL: www.comune.pistoia.it

This week fifteen members of the Marquette University Retiree Association (MURA) stopped by the museum to tour the current exhibitions, open through May 31. Dr. Steven Millen Taylor, Professor 

Source URL: marquette.edu

A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7

Source URL: matita.cs.unibo.it

• Computing
• Mathematics
• Mathematical logic
• Type theory
• Functional languages
• Business intelligence
• Knowledge representation
• Records management
• Coq
• Domain of a function
• Matching
• CIC

Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd

Source URL: matita.cs.unibo.it

• Logic
• Computing
• Mathematics
• Automated theorem proving
• Proof theory
• Type theory
• Logical truth
• Syntax
• Matita
• Proof assistant
• Mathematical proof
• CurryHoward correspondence

Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer

Source URL: matita.cs.unibo.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic structures
• Semigroup theory
• Automated theorem proving
• Logic programming
• Category theory
• Unification
• Monoid
• Semigroup
• Substitution