Treffer 1 - 2 von 2 für Suche 'Munoz, César', Suchdauer: 0,05s Treffer weiter einschränken
1
Interactive Theorem Proving
von Ayala-Rincón, Mauricio, Muñoz, César A.
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
Theorem Proving in Higher Order Logics
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden