Treffer 1 - 2 von 2 für Suche 'Wang, Dongming', Suchdauer: 0,03s Treffer weiter einschränken
1
Artificial Intelligence and Symbolic Computation
von Fleuriot, Jacques, Wang, Dongming, Calmet, Jacques
Veröffentlicht 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
2
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Veröffentlicht 2001
Weitere Verfasser: “...Wang, Dongming....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden