Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Yongmei Liu | lit.salon

Author

Yongmei Liu

4 works

2000–2006 across 3 dated works

No biography is available yet.

Start with

Hoare logic for GOLOG programs.2000
Foundations and Applications of MIS: A Model Theory Approach (IFSR International Series on Systems Science and Engineering)2006
With Yasuhiko Takahara
Tractable reasoning in incomplete first-order knowledge bases2006

Books

3 works

Featured (3)Featured (3)All (4)All (4)

Search booksSort books

Foundations and Applications of MIS: A Model Theory Approach (IFSR International Series on Systems Science and Engineering)2006
With Yasuhiko Takahara
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Tractable reasoning in incomplete first-order knowledge bases2006
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Hoare logic for GOLOG programs.2000
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Yongmei Liu.

The conversation is still open.

There is no public salon activity to show for Yongmei Liu yet.